The store will not work correctly when cookies are disabled.
JavaScript seems to be disabled in your browser. For the best experience on our site, be sure to turn on Javascript in your browser.
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
462 Seiten, Taschenbuch
Mehr Informationen Reihe Lecture Notes in Computer Science ISBN 9783540205272 Sprache Englisch Erscheinungsdatum 18.11.2003 Genre Informatik, EDV/Informatik Verlag Springer Berlin Herausgegeben von Bernhard K. Aichernig, Tom Maibaum Lieferzeit Lieferbar in 6 Werktagen Herstellerangaben Anzeigen Springer Nature Customer Service Center GmbH
Unsere Prinzipien
✔ kostenlose Lieferung innerhalb Österreichs ab € 35,– ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot ✔ alle FALTER-Produkte und Abos, nur hier! ✔ hohe Sicherheit durch SSL-Verschlüsselung (RSA 4096 bit) ✔ keine Weitergabe personenbezogener Daten an Dritte ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post Kurzbeschreibung des Verlags
Mehr Informationen Reihe Lecture Notes in Computer Science ISBN 9783540205272 Sprache Englisch Erscheinungsdatum 18.11.2003 Genre Informatik, EDV/Informatik Verlag Springer Berlin Herausgegeben von Bernhard K. Aichernig, Tom Maibaum Lieferzeit Lieferbar in 6 Werktagen Herstellerangaben Anzeigen Springer Nature Customer Service Center GmbH
Unsere Prinzipien
✔ kostenlose Lieferung innerhalb Österreichs ab € 35,– ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot ✔ alle FALTER-Produkte und Abos, nur hier! ✔ hohe Sicherheit durch SSL-Verschlüsselung (RSA 4096 bit) ✔ keine Weitergabe personenbezogener Daten an Dritte ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Sagen Sie uns Ihre Meinung
