Finde Tipps, Bewertungen und Funktionen zu Shengchao Qin Formal Methods and, das für 52.94 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Shengchao Qin - und wird von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 2011, Label : Springer, Publisher : Springer, NumberOfItems : 1, PackageQuantity : 1, medium : Taschenbuch, numberOfPages : 670, publicationDate : 2011-10-12, publishers : Shengchao Qin, Zongyan Qiu, languages : english, ISBN : 3642245587
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642245589
Erhalte Tipps, Meinungen und Funktionen zu Shengchao Qin Dependable Software, das für 79.34 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Shengchao Qin - hergestellt und von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 1st ed. 2021, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 340, publicationDate : 2021-11-14, releaseDate : 2021-11-14, publishers : Shengchao Qin, Jim Woodcock, Wenhui Zhang, ISBN : 3030912647
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783030912642
Entdecke Informationen, Ratschläge und Preise für Yuan Zhao Da Practical Qin, das für 40 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Yuan, Zhao Da - hergestellt.
Binding : Taschenbuch, Label : Outskirts Press, Publisher : Outskirts Press, PackageQuantity : 1, medium : Taschenbuch, numberOfPages : 340, publicationDate : 2016-04-18, authors : Yuan, Zhao Da, Tom Bisio, ISBN : 1478775742
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9781478775744
Erhalte Tipps, Meinungen und Funktionen zu Qin Meng Hao Moisture Transfer, das für 78.74 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Qin, Meng Hao - hergestellt und von MEDIMOPS verkauft.
Brand : Scholars' Press, Binding : Taschenbuch, Label : Scholars' Press, Publisher : Scholars' Press, medium : Taschenbuch, numberOfPages : 204, publicationDate : 2014-07-08, releaseDate : 2014-07-08, authors : Qin, Meng Hao, ISBN : 3639710371
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783639710373
Entdecke Informationen, Ratschläge und Preise für Lavishlivings Nasa Formal Methods 10th, das für 79.98 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von Coolbe.de verkauft und von Lavishlivings hergestellt.
ISBN: 9783319779348 Title: NASA Formal Methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings : 10811 Author: Aaron Dutle Format: Paperback / softback PUBLISHER: Springer International Publishing AG PUB DATE: Published: 11 Mar 2018
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 10 - 15
EAN: 9783319779348
Finde Tipps, Bewertungen und Funktionen zu Lavishlivings Formal Methods For Autonomous, das für 145.18 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Lavishlivings und wird von Coolbe.de verkauft.
Subject Heading Description 1: COMPUTERS / General Subject Heading Description 2: COMPUTERS / Distributed Systems / General EAN: 9781638282723 ISBN-10: 1638282722 Publisher Imprint: Now Publishers Inc Publication Date: 092023 Contributor 1: Wongpiromsarn, Tichakorn Title: Formal Methods for Autonomous Systems Binding Type: PF Content Language Code: ENG Pages: 0246 Description: Discover the captivating world of Formal Methods for Autonomous Systems, a COMPUTERS / General that falls under the COMPUTERS / Distributed Systems / General category. This PF-formatted gem, contributed by Wongpiromsarn, Tichakorn and published by Now Publishers Inc, promises an immersive experience for readers. With 0246 pages of engaging content, Formal Methods for Autonomous Systems explores. The ENG language adds a unique flavor to the narrative, making it accessible to a wide audience.
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 10 - 15
EAN: 9781638282723
Entdecke Informationen, Ratschläge und Preise für James Woodcock GEBRAUCHT FME 96, zum Preis von 4.48 € : es gehört zur Kategorie Bücher & Zeitschriften; 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
Entdecke Informationen, Ratschläge und Preise für Yamine Ait Ameur Formal Methods, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; 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
Finde Tipps, Bewertungen und Funktionen zu Bowen Jonathan P Theories of, das für 58.69 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Bowen, Jonathan P. - und wird von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 1st ed. 2023, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 427, publicationDate : 2023-08-10, releaseDate : 2023-08-10, publishers : Bowen, Jonathan P., Li Qin, Qiwen Xu, ISBN : 3031404351
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783031404351
Finde Tipps, Bewertungen und Funktionen zu Jim Woodcock Formal Methods and, das für 106.99 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Jim Woodcock - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 2003, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 696, publicationDate : 2008-06-13, authors : Jim Woodcock, Dong, Jin Song, ISBN : 354020461X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540204619
Finde Tipps, Bewertungen und Funktionen zu Zhiming Liu Theories of Programming, das für 52.94 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Zhiming Liu - und wird von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 2013, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 413, publicationDate : 2013-07-31, publishers : Zhiming Liu, Jim Woodcock, Huibiao Zhu, languages : english, ISBN : 3642396976
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642396977
Entdecke Informationen, Ratschläge und Preise für Hans Langmaack VDM 90 and, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Hans Langmaack - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 1990, Label : Springer, Publisher : Springer, NumberOfItems : 1, PackageQuantity : 5, medium : Taschenbuch, numberOfPages : 608, publicationDate : 2008-06-13, authors : Hans Langmaack, Dines Bjorner, Hoare, C. A. R., ISBN : 3540525130
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540525134
Entdecke Informationen, Ratschläge und Preise für Tiziana Margaria Leveraging Applications of, zum Preis von 52.94 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Tiziana Margaria - hergestellt.
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 Radu Calinescu Software Engineering and, zum Preis von 52.94 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Radu Calinescu - hergestellt.
Binding : Taschenbuch, Edition : 1st ed. 2015, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 384, publicationDate : 2015-08-21, releaseDate : 2015-08-21, publishers : Radu Calinescu, Bernhard Rumpe, languages : english, ISBN : 3319229680
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319229683
Erhalte Tipps, Meinungen und Funktionen zu Ezio Bartocci Formal Methods in, das für 57.94 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Ezio Bartocci - hergestellt und von MEDIMOPS verkauft.
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
Entdecke Informationen, Ratschläge und Preise für Marlon Dumas Web Services and, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Marlon Dumas - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 2008, Label : Springer, Publisher : Springer, PackageQuantity : 1, medium : Taschenbuch, numberOfPages : 184, publicationDate : 2008-05-23, releaseDate : 2008-06-03, publishers : Marlon Dumas, ISBN : 3540792295
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540792291
Entdecke Informationen, Ratschläge und Preise für Dominique M ry Integrated Formal, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Dominique Méry - hergestellt.
Binding : Taschenbuch, Edition : 2010, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 348, publicationDate : 2010-12-13, publishers : Dominique Méry, languages : english, ISBN : 3642162649
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642162640
Finde Tipps, Bewertungen und Funktionen zu Paolo Masci Software Engineering and, das für 117.69 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Paolo Masci - und wird von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 1st ed. 2023, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 429, publicationDate : 2023-02-11, releaseDate : 2023-02-11, publishers : Paolo Masci, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri, ISBN : 3031262352
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783031262357
Finde Tipps, Bewertungen und Funktionen zu Catherine Dubois Formal Methods Teaching, das für 58.84 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Catherine Dubois - und wird von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 1st ed. 2023, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 114, publicationDate : 2023-02-21, releaseDate : 2023-02-21, publishers : Catherine Dubois, Pierluigi San Pietro, ISBN : 3031275330
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783031275333
Erhalte Tipps, Meinungen und Funktionen zu Emilio Tuosto Web Services and, das für 42.8 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Emilio Tuosto - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 2014, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 200, publicationDate : 2014-07-25, releaseDate : 2014-07-25, publishers : Emilio Tuosto, Chun Ouyang, ISBN : 3319082590
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319082592
