Entdecke Informationen, Ratschläge und Preise für Klaus Havelund Formal Approaches to, das für 53.24 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Klaus Havelund - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 2006, Label : Springer, Publisher : Springer, Format : Illustriert, medium : Taschenbuch, numberOfPages : 272, publicationDate : 2007-01-19, releaseDate : 2007-02-03, publishers : Klaus Havelund, ISBN : 3540496998
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540496991
Entdecke Informationen, Ratschläge und Preise für Klaus Havelund Formal Methods 22nd, das für 96.29 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Klaus Havelund - hergestellt.
Binding : Taschenbuch, Edition : 1st ed. 2018, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 708, publicationDate : 2018-07-12, releaseDate : 2018-07-12, publishers : Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink, ISBN : 3319955810
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319955810
Entdecke Informationen, Ratschläge und Preise für Klaus Havelund NASA Formal Methods, zum Preis von 52.94 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Klaus Havelund - hergestellt.
Binding : Taschenbuch, Edition : 2015, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 472, publicationDate : 2015-04-09, releaseDate : 2015-04-09, publishers : Klaus Havelund, Gerard Holzmann, Rajeev Joshi, languages : english, ISBN : 3319175238
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319175232
Entdecke Informationen, Ratschläge und Preise für Ezio Bartocci Formal Methods in, zum Preis von 57.94 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Ezio Bartocci - hergestellt.
Brand : MOXIC, Binding : Taschenbuch, Edition : 1st ed. 2021, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 208, publicationDate : 2021-09-28, releaseDate : 2021-09-28, publishers : Ezio Bartocci, Yliès Falcone, Martin Leucker, ISBN : 3030873471
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783030873479
Finde Tipps, Bewertungen und Funktionen zu B hrer Richard E GEBRAUCHT, das für 48.38 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu B¿¿hrer, Richard E. - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 1987, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 220, publicationDate : 2008-06-13, authors : B¿¿hrer, Richard E., Albert K¿¿ndig, Jacques D¿¿hler, ISBN : 354018581X
Zustand: used
Verfügbarkeit: in_stock
Lieferzeit: 3 bis 5 Werktagen
EAN: 9783540185819
Finde Tipps, Bewertungen und Funktionen zu Russinoff David M Formal Verification, das für 90.31 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Russinoff, David M. - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 2019, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 408, publicationDate : 2019-11-05, releaseDate : 2019-11-05, authors : Russinoff, David M., ISBN : 3030070484
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783030070489
Entdecke Informationen, Ratschläge und Preise für R Campbell Recent Advances in, 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 R. Campbell - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 1978, Label : Springer, Publisher : Springer, Format : Illustriert, medium : Taschenbuch, numberOfPages : 448, publicationDate : 1978-04-01, releaseDate : 1978-04-01, publishers : R. Campbell, ISBN : 146842534X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9781468425345
Entdecke Informationen, Ratschläge und Preise für Russinoff David M Formal Verification, das für 130.63 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Russinoff, David M. - hergestellt.
Brand : MOXIC, Binding : Gebundene Ausgabe, Edition : 2nd ed. 2022, Label : Springer, Publisher : Springer, medium : Gebundene Ausgabe, numberOfPages : 464, publicationDate : 2022-03-04, releaseDate : 2022-03-04, authors : Russinoff, David M., ISBN : 3030871800
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783030871802
Entdecke Informationen, Ratschläge und Preise für Chaochen Zhou Duration Calculus A, 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 Chaochen Zhou - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of hardcover 1st ed. 2004, Label : Springer Berlin Heidelberg, Publisher : Springer Berlin Heidelberg, medium : Taschenbuch, numberOfPages : 264, publicationDate : 2010-02-19, authors : Chaochen Zhou, ISBN : 3642074049
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642074042
Finde Tipps, Bewertungen und Funktionen zu Colomina Almi ana Juan J, das für 98.11 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Colomina-Almiñana, Juan J. - und wird von MEDIMOPS verkauft.
Binding : Gebundene Ausgabe, Edition : 1st ed. 2018, Label : Springer, Publisher : Springer, medium : Gebundene Ausgabe, numberOfPages : 156, publicationDate : 2018-02-06, authors : Colomina-Almiñana, Juan J., ISBN : 331973654X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319736549
Entdecke Informationen, Ratschläge und Preise für Andreas Ulrich Formal Approaches to, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Andreas Ulrich - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 2004, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 276, publicationDate : 2008-06-13, authors : Andreas Ulrich, Alexandre Petrenko, ISBN : 3540208941
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540208945
Entdecke Informationen, Ratschläge und Preise für Naijun Zhan Formal Verification of, zum Preis von 122.84 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Naijun Zhan - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 2017, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 276, publicationDate : 2018-06-29, releaseDate : 2018-06-29, authors : Naijun Zhan, ISBN : 3319836382
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319836386
Entdecke Informationen, Ratschläge und Preise für Ilya Gikhman Alternative Derivatives, zum Preis von 67.34 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Ilya Gikhman - hergestellt.
Brand : LAP Lambert Academic Publishing, Binding : Taschenbuch, Label : LAP LAMBERT Academic Publishing, Publisher : LAP LAMBERT Academic Publishing, medium : Taschenbuch, numberOfPages : 164, publicationDate : 2010-05-27, authors : Ilya Gikhman, ISBN : 3838366050
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783838366050
Entdecke Informationen, Ratschläge und Preise für Marc Frappier Software Specification, das für 102.14 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Marc Frappier - hergestellt.
Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 2001, Label : Springer London, Publisher : Springer London, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 312, publicationDate : 2001-01-01, authors : Marc Frappier, ISBN : 1852333537
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9781852333539
Entdecke Informationen, Ratschläge und Preise für J rgen Staunstrup A Formal, das für 160.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Jørgen Staunstrup - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 1994, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 252, publicationDate : 2012-10-09, releaseDate : 2012-10-09, authors : Jørgen Staunstrup, ISBN : 1461361931
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9781461361930
Finde Tipps, Bewertungen und Funktionen zu Cilene Rodrigues Formal Approaches to, das für 139.75 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Cilene Rodrigues - und wird von MEDIMOPS verkauft.
Binding : Gebundene Ausgabe, Edition : 1st ed. 2023, Label : Springer, Publisher : Springer, medium : Gebundene Ausgabe, numberOfPages : 391, publicationDate : 2023-05-16, releaseDate : 2023-05-16, publishers : Cilene Rodrigues, Andrés Saab, ISBN : 3031223438
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783031223433
Entdecke Informationen, Ratschläge und Preise für Carroll Morgan On the Refinement, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Carroll Morgan - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 1992, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 176, publicationDate : 2013-10-04, releaseDate : 2013-10-04, authors : Carroll Morgan, ISBN : 3540199314
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540199311
Finde Tipps, Bewertungen und Funktionen zu S J H Kent Goldsack, das für 106.99 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu S. J. H. Kent, S. J. Goldsack - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 1996, Label : Springer London, Publisher : Springer London, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 388, publicationDate : 1996-01-01, authors : S. J. H. Kent, S. J. Goldsack, ISBN : 3540199772
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540199779
Entdecke Informationen, Ratschläge und Preise für Igor Douven The Epistemology of, das für 34.4 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Igor Douven - hergestellt.
Brand : Cambridge University Press, Binding : Taschenbuch, Edition : Reprint, Label : Cambridge University Press, Publisher : Cambridge University Press, medium : Taschenbuch, numberOfPages : 234, publicationDate : 2018-03-15, releaseDate : 2018-03-15, authors : Igor Douven, ISBN : 1107529123
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9781107529120
Entdecke Informationen, Ratschläge und Preise für Dordah Amos Dangbie Framework for, das für 67.31 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Dordah, Amos Dangbie - hergestellt.
Brand : LAP Lambert Academic Publishing, Binding : Taschenbuch, Label : LAP LAMBERT Academic Publishing, Publisher : LAP LAMBERT Academic Publishing, medium : Taschenbuch, numberOfPages : 184, publicationDate : 2013-02-08, releaseDate : 2013-02-08, authors : Dordah, Amos Dangbie, ISBN : 3659337935
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783659337932