zohar manna temporal verification Produktrangliste 2024

Zohar Manna Temporal Verification of

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

Zohar Manna Temporal Verification of

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

Zohar Manna The Temporal Logic

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

Zohar Manna The Temporal Logic

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

Nachum Dershowitz Verification Theory and

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

Jinjun Chen Effective and Efficient

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

Djones Lettnin Verification of Temporal

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

Wojciech Penczek Advances in Verification

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

Wojciech Penczek Advances in Verification

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

Temporal Verification of Reactive Systems

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




https://de.shoppaloo.com/ participates in the Amazon Europe S.r.l. Affiliate Program, an affiliate program that allows sites to receive an advertising commission by advertising and providing links to the Amazon.fr site