Entdecke Informationen, Ratschläge und Preise für Zohar Manna Temporal Verification of, das für 106.99 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Zohar Manna - hergestellt.
Binding : Gebundene Ausgabe, Edition : 1995, Label : Springer, Publisher : Springer, NumberOfItems : 1, PackageQuantity : 1, medium : Gebundene Ausgabe, numberOfPages : 512, publicationDate : 1995-08-01, authors : Zohar Manna, Amir Pnueli, ISBN : 0387944591
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9780387944593
Entdecke Informationen, Ratschläge und Preise für Zohar Manna Temporal Verification of, zum Preis von 106.98 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Zohar Manna - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 1995, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 536, publicationDate : 2012-08-22, releaseDate : 2012-08-22, authors : Zohar Manna, ISBN : 1461287014
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9781461287018
Entdecke Informationen, Ratschläge und Preise für Zohar Manna The Temporal Logic, zum Preis von 109.74 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Zohar Manna - hergestellt.
Binding : Gebundene Ausgabe, Edition : 1992, Label : Springer, Publisher : Springer, medium : Gebundene Ausgabe, numberOfPages : 427, publicationDate : 1991-12-15, authors : Zohar Manna, Amir Pnueli, languages : english, ISBN : 0387976647
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9780387976648
Entdecke Informationen, Ratschläge und Preise für Zohar Manna The Temporal Logic, zum Preis von 49.98 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Zohar Manna - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 1992, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 444, publicationDate : 1991-12-18, releaseDate : 1991-12-18, authors : Zohar Manna, ISBN : 1461269504
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9781461269502
Finde Tipps, Bewertungen und Funktionen zu Nachum Dershowitz Verification Theory and, das für 104.34 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Nachum Dershowitz - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 2003, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 804, publicationDate : 2009-02-22, publishers : Nachum Dershowitz, ISBN : 3540210024
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540210023
Entdecke Informationen, Ratschläge und Preise für Jinjun Chen Effective and Efficient, das für 66.74 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Jinjun Chen - hergestellt.
Brand : LAP Lambert Academic Publishing, Binding : Taschenbuch, Label : LAP LAMBERT Academic Publishing, Publisher : LAP LAMBERT Academic Publishing, medium : Taschenbuch, numberOfPages : 180, publicationDate : 2011-03-11, authors : Jinjun Chen, Yun Yang, ISBN : 3844315470
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783844315479
Finde Tipps, Bewertungen und Funktionen zu Djones Lettnin Verification of Temporal, das für 69.9 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Djones Lettnin - und wird von MEDIMOPS verkauft.
Brand : Sudwestdeutscher Verlag Fur Hochschulschriften AG, Binding : Taschenbuch, Label : Suedwestdeutscher Verlag fuer Hochschulschriften, Publisher : Suedwestdeutscher Verlag fuer Hochschulschriften, medium : Taschenbuch, numberOfPages : 160, publicationDate : 2010-04-14, authors : Djones Lettnin, ISBN : 3838112075
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783838112077
Finde Tipps, Bewertungen und Funktionen zu Wojciech Penczek Advances in Verification, das für 152.06 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Wojciech Penczek - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of hardcover 1st ed. 2006, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 292, publicationDate : 2010-11-25, releaseDate : 2010-11-25, authors : Wojciech Penczek, ISBN : 3642069428
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642069420
Entdecke Informationen, Ratschläge und Preise für Wojciech Penczek Advances in Verification, zum Preis von 149.34 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Wojciech Penczek - hergestellt.
Brand : Springer, Binding : Gebundene Ausgabe, Edition : 2006, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Gebundene Ausgabe, numberOfPages : 289, publicationDate : 2006-06-26, releaseDate : 2006-06-15, authors : Wojciech Penczek, Agata Pólrola, ISBN : 3540328696
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540328698
Entdecke Informationen, Ratschläge und Preise für Temporal Verification of Reactive Systems, das für 77,81 € verkauft wird und in der Kategorie Informatik erhältlich ist; dieses Produkt wird von verkauft und von Springer hergestellt.
Informatik, IT-Ausbildung & IT-Berufe, Computer & Internet, Bücher, Softwareentwicklung, Programmierung & Webdesign, Mathematik, Naturwissenschaften & Technik, Englische Bücher, 7c9a6c79-19ea-4dea-90da-d7d47042d341_2301, 7c9a6c79-19ea-4dea-90da-d7d47042d341_0, Custom Stores, Self Service, Arborist Merchandising Root, Fremdsprachige Bücher, Regular Stores, acc906d0-2585-4921-a56f-3ff277850936_4901, acc906d0-2585-4921-a56f-3ff277850936_0, Special Features Stores
Zustand: New
Verfügbarkeit: Auf Lager
EAN: 9780387944593