Formal Methods at the Crossroads. From Panacea to Foundational Support | 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers | ISBN 9783540205272

Formal Methods at the Crossroads. From Panacea to Foundational Support

10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers

herausgegeben von Bernhard K. Aichernig und Tom Maibaum
Mitwirkende
Herausgegeben vonBernhard K. Aichernig
Herausgegeben vonTom Maibaum
Buchcover Formal Methods at the Crossroads. From Panacea to Foundational Support | EAN 9783540205272 | ISBN 3-540-20527-6 | ISBN 978-3-540-20527-2

Formal Methods at the Crossroads. From Panacea to Foundational Support

10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers

herausgegeben von Bernhard K. Aichernig und Tom Maibaum
Mitwirkende
Herausgegeben vonBernhard K. Aichernig
Herausgegeben vonTom Maibaum
Includes supplementary material: sn. pub/extras
Verfügbarkeit jetzt prüfen

ISBN-Daten

Einband - flex.(Paperback)
 
Softcover
462 Seiten
erschienen am
18.11.2003
Sprache
Englisch
Rubrik
Betriebssysteme
ISBN-10
3-540-20527-6
Abmessungen
23,5 x 15,5 cm
Lieferstatus
verfügbar
Preis
53,49 €*
Buch kaufen

Lokal-Verfügbarkeit

 
ca. 15 km um Moreno Valley
**Mit der Eingabe/Ermittlung der Standortdaten willigen Sie der Datenverarbeitung gemäß unserer Datenschutzerklärung ein.
Lokalverfügbarkeit (Karte)

Ankaufspreise

Ankaufspreise ermitteln
Veranstaltung eintragen

Passend

Buchcover Formal Methods at the Crossroads. From Panacea to Foundational Support

Formal Methods at the Crossroads. From Panacea to Foundational Support