Erhalte Tipps, Meinungen und Funktionen zu Bernhard Beckert Formal Verification of, das für 49.22 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Bernhard Beckert - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 2012, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 264, publicationDate : 2012-07-19, releaseDate : 2012-07-19, publishers : Bernhard Beckert, Ferruccio Damiani, Dilian Gurov, ISBN : 3642317618
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642317613
Erhalte Tipps, Meinungen und Funktionen zu Bernhard Beckert Verification of, das für 106.24 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Bernhard Beckert - hergestellt und von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 2007, Label : Springer Berlin Heidelberg, Publisher : Springer Berlin Heidelberg, medium : Taschenbuch, numberOfPages : 692, publicationDate : 2008-10-10, publishers : Bernhard Beckert, languages : english, ISBN : 354068977X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540689775
Finde Tipps, Bewertungen und Funktionen zu Bernhard Beckert Formal Methods for, das für 52.94 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Bernhard Beckert - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 2013, Label : Springer, Publisher : Springer, PackageQuantity : 1, medium : Taschenbuch, numberOfPages : 368, publicationDate : 2013-01-03, releaseDate : 2013-01-03, publishers : Bernhard Beckert, Ferruccio Damiani, de Boer, Frank S., Bonsangue, Marcello M., ISBN : 3642358861
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642358869
Entdecke Informationen, Ratschläge und Preise für Bernhard Beckert Tests and Proofs, zum Preis von 42.45 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Bernhard Beckert - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 2008, Label : Springer, Publisher : Springer, PackageQuantity : 3, Format : Illustriert, medium : Taschenbuch, numberOfPages : 208, publicationDate : 2008-04-28, publishers : Bernhard Beckert, ISBN : 354079123X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540791232
Finde Tipps, Bewertungen und Funktionen zu Thomas Kropf GEBRAUCHT Introduction to, das für 21.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Thomas Kropf - und wird von MEDIMOPS verkauft.
Binding : Gebundene Ausgabe, Edition : 1999, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Gebundene Ausgabe, numberOfPages : 299, publicationDate : 1999-10-16, authors : Thomas Kropf, languages : english, ISBN : 3540654453
Zustand: used
Verfügbarkeit: in_stock
Lieferzeit: 3 bis 5 Werktagen
EAN: 9783540654452
Entdecke Informationen, Ratschläge und Preise für Olderog E R GEBRAUCHT Real, das für 30.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Olderog, E. R. - hergestellt.
Binding : Gebundene Ausgabe, Edition : 1, Label : Cambridge University Press, Publisher : Cambridge University Press, NumberOfItems : 1, PackageQuantity : 5, medium : Gebundene Ausgabe, numberOfPages : 344, publicationDate : 2008-09-11, authors : Olderog, E. R., H. Dierks, ISBN : 0521883334
Zustand: used
Verfügbarkeit: in_stock
Lieferzeit: 3 bis 5 Werktagen
EAN: 9780521883337
Finde Tipps, Bewertungen und Funktionen zu Tiziana Margaria Leveraging Applications of, das für 52.94 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Tiziana Margaria - und wird von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 1st ed. 2016, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 866, publicationDate : 2016-10-06, publishers : Tiziana Margaria, Bernhard Steffen, ISBN : 3319471686
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319471686
Entdecke Informationen, Ratschläge und Preise für Tiziana Margaria Leveraging Applications of, das für 90.34 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Tiziana Margaria - hergestellt.
Binding : Taschenbuch, Edition : 1st ed. 2022, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 611, publicationDate : 2022-10-20, releaseDate : 2022-10-20, publishers : Tiziana Margaria, Bernhard Steffen, ISBN : 3031198484
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783031198489
Finde Tipps, Bewertungen und Funktionen zu Tiziana Margaria Leveraging Applications of, das für 52.94 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Tiziana Margaria - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 2014, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 664, publicationDate : 2014-10-07, releaseDate : 2014-10-07, publishers : Tiziana Margaria, Bernhard Steffen, ISBN : 3662452308
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783662452301
Erhalte Tipps, Meinungen und Funktionen zu Tiziana Margaria Leveraging Applications of, das für 74.89 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Tiziana Margaria - hergestellt und von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 1st ed. 2022, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 487, publicationDate : 2022-10-20, releaseDate : 2022-10-20, publishers : Tiziana Margaria, Bernhard Steffen, ISBN : 3031197585
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783031197581
Entdecke Informationen, Ratschläge und Preise für Tiziana Margaria Leveraging Applications of, das für 69.54 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Tiziana Margaria - hergestellt.
Binding : Taschenbuch, Edition : 1st ed. 2022, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 437, publicationDate : 2022-10-20, releaseDate : 2022-10-20, publishers : Tiziana Margaria, Bernhard Steffen, ISBN : 3031197615
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783031197611
Erhalte Tipps, Meinungen und Funktionen zu Vinh Phan Cong Formal and, das für 207.8 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Vinh, Phan Cong - hergestellt und von MEDIMOPS verkauft.
Brand : Information Science Reference, Binding : Gebundene Ausgabe, Edition : Illustrated, Label : Information Science Reference, Publisher : Information Science Reference, PackageQuantity : 1, Format : Illustriert, medium : Gebundene Ausgabe, numberOfPages : 446, publicationDate : 2011-05-31, releaseDate : 2011-05-31, publishers : Vinh, Phan Cong, ISBN : 1609608453
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9781609608453
Erhalte Tipps, Meinungen und Funktionen zu Rolf Drechsler Advanced Formal Verification, das für 104.14 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Rolf Drechsler - hergestellt und von MEDIMOPS verkauft.
Binding : Gebundene Ausgabe, Edition : 2004, Label : Springer, Publisher : Springer, PackageQuantity : 1, medium : Gebundene Ausgabe, numberOfPages : 250, publicationDate : 2004-01-31, publishers : Rolf Drechsler, languages : english, ISBN : 1402077211
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9781402077210
Erhalte Tipps, Meinungen und Funktionen zu ter Beek Maurice H Critical, das für 53.49 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von ter Beek, Maurice H. - hergestellt und von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 1st ed. 2016, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 264, publicationDate : 2016-09-14, releaseDate : 2016-09-14, publishers : ter Beek, Maurice H., languages : english, ISBN : 3319459422
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319459424
Entdecke Informationen, Ratschläge und Preise für Russinoff David M Formal Verification, das für 108.24 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Russinoff, David M. - hergestellt.
Binding : Taschenbuch, Edition : 2nd ed. 2022, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 464, publicationDate : 2023-03-05, releaseDate : 2023-03-05, authors : Russinoff, David M., ISBN : 3030871835
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783030871833
Entdecke Informationen, Ratschläge und Preise für Laurent Chuat The Complete Guide, das für 139.09 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Laurent Chuat - hergestellt.
Binding : Gebundene Ausgabe, Edition : 1st ed. 2022, Label : Springer, Publisher : Springer, medium : Gebundene Ausgabe, numberOfPages : 677, publicationDate : 2022-05-17, releaseDate : 2022-05-17, authors : Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig, ISBN : 3031052870
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783031052873
Entdecke Informationen, Ratschläge und Preise für Tiziana Margaria Leveraging Applications of, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Tiziana Margaria - hergestellt.
Binding : Taschenbuch, Edition : 1st ed. 2021, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 280, publicationDate : 2021-08-05, releaseDate : 2021-08-05, publishers : Tiziana Margaria, Bernhard Steffen, ISBN : 303083722X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783030837228
Entdecke Informationen, Ratschläge und Preise für Tiziana Margaria Leveraging Applications of, das für 52.94 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Tiziana Margaria - hergestellt.
Binding : Taschenbuch, Edition : 1st ed. 2018, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 496, publicationDate : 2018-10-30, publishers : Tiziana Margaria, Bernhard Steffen, ISBN : 3030034208
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783030034207
Finde Tipps, Bewertungen und Funktionen zu Tiziana Margaria Leveraging Applications of, das für 52.94 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Tiziana Margaria - und wird von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 1st ed. 2018, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 522, publicationDate : 2018-10-31, publishers : Tiziana Margaria, Bernhard Steffen, ISBN : 3030034232
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783030034238
Entdecke Informationen, Ratschläge und Preise für Martha Schnieber Polynomial Formal, zum Preis von 106.99 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Martha Schnieber - hergestellt.
Binding : Taschenbuch, Edition : 1st ed. 2023, Label : Springer Vieweg, Publisher : Springer Vieweg, medium : Taschenbuch, numberOfPages : 89, publicationDate : 2023-07-23, releaseDate : 2023-07-23, authors : Martha Schnieber, ISBN : 3658418877
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783658418878
