Entdecke Informationen, Ratschläge und Preise für Yamine Ait Ameur Formal Methods, 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 Yamine Ait-Ameur - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 1st ed. 2019, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 552, publicationDate : 2019-10-06, releaseDate : 2019-10-06, publishers : Yamine Ait-Ameur, Shengchao Qin, ISBN : 3030324087
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783030324087
Entdecke Informationen, Ratschläge und Preise für Yamine Ait Ameur Theoretical Aspects, das für 85.04 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Yamine Ait-Ameur - hergestellt.
Binding : Taschenbuch, Edition : 1st ed. 2022, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 441, publicationDate : 2022-07-01, releaseDate : 2022-07-01, publishers : Yamine Ait-Ameur, Florin Crăciun, ISBN : 3031103629
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783031103629
Entdecke Informationen, Ratschläge und Preise für Yamine Ait Ameur Abstract State, 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 Yamine Ait-Ameur - hergestellt.
Binding : Taschenbuch, Edition : 2014, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 352, publicationDate : 2014-05-21, releaseDate : 2014-05-21, publishers : Yamine Ait-Ameur, Klaus-Dieter Schewe, languages : english, ISBN : 3662436515
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783662436516
Entdecke Informationen, Ratschläge und Preise für Amar Ait Ameur L me, zum Preis von 18.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Amar Ait Ameur - hergestellt.
Binding : Taschenbuch, Label : Editions L'Harmattan, Publisher : Editions L'Harmattan, medium : Taschenbuch, numberOfPages : 152, publicationDate : 2022-06-03, releaseDate : 2022-06-03, authors : Amar Ait Ameur, ISBN : 2140265777
Zustand: new
Verfügbarkeit: in_stock
Versandkosten: 1.99
Lieferzeit: 3-5 Werktage
EAN: 9782140265778
Entdecke Informationen, Ratschläge und Preise für Addi Ait Hssain GEBRAUCHT Optimisation, das für 26.99 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Addi Ait Hssain - hergestellt.
Binding : Taschenbuch, Label : Dunod, Publisher : Dunod, medium : Taschenbuch, publicationDate : 2005-01-13, authors : Addi Ait Hssain, ISBN : 2100488023
Zustand: used
Verfügbarkeit: in_stock
Lieferzeit: 3 bis 5 Werktagen
EAN: 9782100488025
Entdecke Informationen, Ratschläge und Preise für James Woodcock GEBRAUCHT FME 96, das für 4.98 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von James Woodcock - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 1996, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 724, publicationDate : 2008-06-13, authors : James Woodcock, Marie-Claude Gaudel, ISBN : 3540609733
Zustand: used
Verfügbarkeit: in_stock
Versandkosten: 1.99
Lieferzeit: 3 bis 5 Werktagen
EAN: 9783540609735
Erhalte Tipps, Meinungen und Funktionen zu Marco Bernardo Formal Methods for, das für 53.49 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Marco Bernardo - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 2005, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 284, publicationDate : 2008-06-13, releaseDate : 2005-06-20, authors : Marco Bernardo, Alessandro Bogliolo, ISBN : 3540256970
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540256977
Entdecke Informationen, Ratschläge und Preise für Cliff Jones VDM 87 A, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Cliff Jones - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 1987, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 436, publicationDate : 2008-06-27, authors : Cliff Jones, Dines Bjorner, Neuhold, Erich J., Michael Mac An Airchinnigh, ISBN : 3540176543
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540176541
Erhalte Tipps, Meinungen und Funktionen zu Bart Jacobs Formal Methods for, das für 105.84 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Bart Jacobs - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 2002, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 292, publicationDate : 2013-10-04, releaseDate : 2013-10-04, authors : Bart Jacobs, ISBN : 1475752687
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9781475752687
Finde Tipps, Bewertungen und Funktionen zu Kloos C Delgado Practical Formal, das für 53.24 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Kloos, C. Delgado - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 1997, Label : Springer-Verlag, Publisher : Springer-Verlag, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 308, publicationDate : 1905-06-19, publishers : Kloos, C. Delgado, ISBN : 3540620079
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540620075
Erhalte Tipps, Meinungen und Funktionen zu Tiziana Margaria Leveraging Applications of, das für 53.49 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Tiziana Margaria - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 1st ed. 2020, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 508, publicationDate : 2020-10-27, releaseDate : 2020-10-27, publishers : Tiziana Margaria, Bernhard Steffen, ISBN : 3030614662
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783030614669
Erhalte Tipps, Meinungen und Funktionen zu Omri Isac Software Verification and, das für 61.34 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Omri Isac - hergestellt und von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 1st ed. 2022, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 215, publicationDate : 2022-12-16, releaseDate : 2022-12-16, publishers : Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi, ISBN : 3031212215
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783031212215
Entdecke Informationen, Ratschläge und Preise für Laure Petrucci Critical Systems Formal, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Laure Petrucci - hergestellt.
Brand : RIDDLEDWITHSTYLE, Binding : Taschenbuch, Edition : 1st ed. 2017, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 252, publicationDate : 2017-08-25, releaseDate : 2017-08-25, publishers : Laure Petrucci, languages : english, ISBN : 331967112X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319671123
Finde Tipps, Bewertungen und Funktionen zu Calin Belta Formal Methods for, das für 159.94 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Calin Belta - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 2017, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 304, publicationDate : 2018-07-21, releaseDate : 2018-07-21, authors : Calin Belta, ISBN : 3319844857
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319844855
Erhalte Tipps, Meinungen und Funktionen zu Shaoying Liu Formal Engineering for, das für 53.49 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Shaoying Liu - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of hardcover 1st ed. 2004, Label : Springer Berlin Heidelberg, Publisher : Springer Berlin Heidelberg, medium : Taschenbuch, numberOfPages : 432, publicationDate : 2010-02-19, authors : Shaoying Liu, ISBN : 3642058272
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642058271
Entdecke Informationen, Ratschläge und Preise für Klaus Schneider Verification of Reactive, zum Preis von 53.24 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Klaus Schneider - hergestellt.
Binding : Gebundene Ausgabe, Edition : 2004, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Gebundene Ausgabe, numberOfPages : 602, publicationDate : 2003-10-16, authors : Klaus Schneider, languages : english, ISBN : 3540002960
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540002963
Erhalte Tipps, Meinungen und Funktionen zu Tiziana Margaria Leveraging Applications of, das für 74.34 € 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. 2021, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 516, publicationDate : 2021-10-12, releaseDate : 2021-10-12, publishers : Tiziana Margaria, Bernhard Steffen, ISBN : 3030891585
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783030891589
Entdecke Informationen, Ratschläge und Preise für Dimitra Giannakopoulou Software Engineering, zum Preis von 53.34 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Dimitra Giannakopoulou - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 2014, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 416, publicationDate : 2014-08-04, releaseDate : 2014-08-04, publishers : Dimitra Giannakopoulou, Gwen Salaün, ISBN : 3319104306
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319104300
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.
Brand : Springer, Binding : Taschenbuch, Edition : 2014, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 568, publicationDate : 2014-10-07, releaseDate : 2014-10-07, publishers : Tiziana Margaria, Bernhard Steffen, ISBN : 3662452332
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783662452332
Finde Tipps, Bewertungen und Funktionen zu Marc Frappier Software Specification, das für 102.14 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Marc Frappier - und wird von MEDIMOPS verkauft.
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