Noch Fragen? 0800 / 33 82 637

Formal Verification of Object-Oriented Software

International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)


Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-642-18069-9 / 978-3642180699 / 9783642180699

Verlag: Springer Berlin

Erscheinungsdatum: 14.01.2011

Seiten: 199

Auflage: 1

Zielgruppe: Research

Herausgegeben von Bernhard Beckert, Claude Marché

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück