Entdecke Informationen, Ratschläge und Preise für Brijesh Dongol Formal Methods Teaching, zum Preis von 52.94 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Brijesh Dongol - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 1st ed. 2019, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 264, publicationDate : 2019-10-16, releaseDate : 2019-10-16, publishers : Brijesh Dongol, Luigia Petre, Graeme Smith, ISBN : 3030324400
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783030324407
Finde Tipps, Bewertungen und Funktionen zu Brijesh Dongol Integrated Formal Methods, das für 52.94 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Brijesh Dongol - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 1st ed. 2020, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 476, publicationDate : 2020-11-14, releaseDate : 2020-11-14, publishers : Brijesh Dongol, Elena Troubitsyna, ISBN : 3030634604
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783030634605
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 Ferreira Jo o F Formal, das für 58.24 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Ferreira, João F. - hergestellt und von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 1st ed. 2021, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 164, publicationDate : 2021-11-21, releaseDate : 2021-11-21, publishers : Ferreira, João F., Alexandra Mendes, Claudio Menghi, ISBN : 3030915492
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783030915490
Entdecke Informationen, Ratschläge und Preise für Boute Raymond T Teaching Formal, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Boute, Raymond T. - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 2004, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 260, publicationDate : 2008-06-13, releaseDate : 2005-01-15, authors : Boute, Raymond T., Dean, C. Neville, ISBN : 3540236112
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540236115
Erhalte Tipps, Meinungen und Funktionen zu Jeremy Gibbons Teaching Formal Methods, das für 53.49 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Jeremy Gibbons - hergestellt und von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 2009, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 192, publicationDate : 2009-10-26, releaseDate : 2009-10-26, publishers : Jeremy Gibbons, languages : english, ISBN : 3642049117
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642049118
Erhalte Tipps, Meinungen und Funktionen zu Fernando Rosell Aguilar Innovative language, das für 23.6 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Fernando Rosell-Aguilar - hergestellt und von MEDIMOPS verkauft.
Brand : Research-Publishing.Net, Binding : Taschenbuch, Label : Research-publishing.net, Publisher : Research-publishing.net, medium : Taschenbuch, numberOfPages : 134, publicationDate : 2018-05-21, releaseDate : 2018-05-21, authors : Fernando Rosell-Aguilar, Tita Beaven, Mara Fuertes Gutiérrez, ISBN : 249005709X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9782490057092
Entdecke Informationen, Ratschläge und Preise für Murtaza Ali Comparative Study of, zum Preis von 78.34 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Murtaza Ali - hergestellt.
Brand : LAP Lambert Academic Publishing, Binding : Taschenbuch, Label : LAP LAMBERT Academic Publishing, Publisher : LAP LAMBERT Academic Publishing, medium : Taschenbuch, numberOfPages : 208, publicationDate : 2012-01-13, authors : Murtaza Ali, ISBN : 3847321706
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783847321705
Entdecke Informationen, Ratschläge und Preise für Ainoa Escribano Miralles School Museum, das für 201.4 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Ainoa Escribano-Miralles - hergestellt.
Binding : Taschenbuch, Label : Information Science Reference, Publisher : Information Science Reference, medium : Taschenbuch, numberOfPages : 272, publicationDate : 2022-06-03, releaseDate : 2022-06-03, authors : Ainoa Escribano-Miralles, Pedro Miralles-Martínez, Francisca-José Serrano-Pastor, ISBN : 1799871312
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9781799871316
Entdecke Informationen, Ratschläge und Preise für Ainoa Escribano Miralles School Museum, zum Preis von 254.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Ainoa Escribano-Miralles - hergestellt.
Binding : Gebundene Ausgabe, Label : Information Science Reference, Publisher : Information Science Reference, medium : Gebundene Ausgabe, numberOfPages : 272, publicationDate : 2022-06-03, releaseDate : 2021-10-30, authors : Ainoa Escribano-Miralles, Pedro Miralles-Martínez, Francisca-José Serrano-Pastor, ISBN : 1799871304
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9781799871309
Finde Tipps, Bewertungen und Funktionen zu James Woodcock GEBRAUCHT FME 96, das für 12.98 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu James Woodcock - und wird von MEDIMOPS verkauft.
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 Lavishlivings Nasa Formal Methods 10th, das für 79.98 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Lavishlivings hergestellt und von Coolbe.de verkauft.
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
Entdecke Informationen, Ratschläge und Preise für Lavishlivings Formal Methods For Autonomous, das für 145.18 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von Coolbe.de verkauft und von Lavishlivings hergestellt.
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
Finde Tipps, Bewertungen und Funktionen zu Alwyn Goodloe NASA Formal Methods, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Alwyn Goodloe - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 2012, Label : Springer, Publisher : Springer, Format : Illustriert, medium : Taschenbuch, numberOfPages : 480, publicationDate : 2012-03-27, releaseDate : 2012-03-27, publishers : Alwyn Goodloe, Suzette Person, ISBN : 3642288901
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642288906
Entdecke Informationen, Ratschläge und Preise für Javier C mara Software Engineering, zum Preis von 74.34 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Javier Cámara - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 1st ed. 2020, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 288, publicationDate : 2020-09-10, releaseDate : 2020-09-10, publishers : Javier Cámara, Martin Steffen, ISBN : 3030575055
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783030575052
Entdecke Informationen, Ratschläge und Preise für Shaoying Liu Structured Object Oriented, das für 49.22 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Shaoying Liu - hergestellt.
Binding : Taschenbuch, Edition : 2013, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 160, publicationDate : 2013-06-04, releaseDate : 2013-06-04, publishers : Shaoying Liu, languages : english, ISBN : 3642392768
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642392764
Entdecke Informationen, Ratschläge und Preise für Antonio Cerone Formal Methods Fun, 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 Antonio Cerone - hergestellt.
Brand : Springer International Publishing, Binding : Taschenbuch, Edition : 1st ed. 2021, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 240, publicationDate : 2021-03-11, releaseDate : 2021-03-11, publishers : Antonio Cerone, Markus Roggenbach, ISBN : 3030713733
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783030713737
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.
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
Erhalte Tipps, Meinungen und Funktionen zu Alessandro Cimatti Software Engineering and, das für 53.49 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Alessandro Cimatti - hergestellt und von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 1st ed. 2017, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 432, publicationDate : 2017-09-17, releaseDate : 2017-09-17, publishers : Alessandro Cimatti, languages : english, ISBN : 3319661965
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319661964
Erhalte Tipps, Meinungen und Funktionen zu Bonsangue Marcello M Formal Methods, das für 53.49 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Bonsangue, Marcello M. - hergestellt und von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 2009, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 312, publicationDate : 2009-09-07, releaseDate : 2009-09-07, publishers : Bonsangue, Marcello M., languages : english, ISBN : 3642041663
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642041662