sandrine blazy verified software theories Produktrangliste 2024

Sandrine Blazy Verified Software Theories

Entdecke Informationen, Ratschläge und Preise für Sandrine Blazy Verified Software Theories, 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 Sandrine Blazy - hergestellt.

Binding : Taschenbuch, Edition : 1st ed. 2016, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 216, publicationDate : 2016-11-08, releaseDate : 2016-11-08, publishers : Sandrine Blazy, languages : english, ISBN : 3319488686

Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319488684

Supratik Chakraborty Verified Software

Erhalte Tipps, Meinungen und Funktionen zu Supratik Chakraborty Verified Software, das für 52.94 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Supratik Chakraborty - hergestellt und von MEDIMOPS verkauft.

Brand : Springer, Binding : Taschenbuch, Edition : 1st ed. 2020, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 212, publicationDate : 2020-03-14, releaseDate : 2020-03-14, publishers : Supratik Chakraborty, Navas, Jorge A., ISBN : 3030415996

Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783030415990

Bertrand Meyer Verified Software Theories

Entdecke Informationen, Ratschläge und Preise für Bertrand Meyer Verified Software Theories, das für 100.34 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Bertrand Meyer - hergestellt.

Brand : Springer, Binding : Taschenbuch, Edition : 2008, Label : Springer, Publisher : Springer, PackageQuantity : 1, medium : Taschenbuch, numberOfPages : 572, publicationDate : 2008-08-15, releaseDate : 2008-09-03, publishers : Bertrand Meyer, ISBN : 3540691472

Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540691471

Andrei Paskevich Verified Software

Erhalte Tipps, Meinungen und Funktionen zu Andrei Paskevich Verified Software, das für 52.94 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Andrei Paskevich - hergestellt und von MEDIMOPS verkauft.

Binding : Taschenbuch, Edition : 1st ed. 2017, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 211, publicationDate : 2017-12-15, publishers : Andrei Paskevich, Thomas Wies, ISBN : 3319723073

Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319723075

Ernie Cohen Verified Software Theorie

Finde Tipps, Bewertungen und Funktionen zu Ernie Cohen Verified Software Theorie, das für 52.94 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Ernie Cohen - und wird von MEDIMOPS verkauft.

Binding : Taschenbuch, Edition : 2014, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 364, publicationDate : 2014-01-23, releaseDate : 2014-01-23, publishers : Ernie Cohen, Andrey Rybalchenko, languages : english, ISBN : 3642541070

Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642541070

Dimitra Giannakopoulou Verified Software

Finde Tipps, Bewertungen und Funktionen zu Dimitra Giannakopoulou Verified Software, das für 51.36 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Dimitra Giannakopoulou - und wird von MEDIMOPS verkauft.

Binding : Taschenbuch, Edition : 2014, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 300, publicationDate : 2014-10-28, releaseDate : 2014-10-28, publishers : Dimitra Giannakopoulou, Daniel Kroening, languages : english, ISBN : 3319121537

Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319121536

Akash Lal Verified Software Theories

Finde Tipps, Bewertungen und Funktionen zu Akash Lal Verified Software Theories, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Akash Lal - und wird von MEDIMOPS verkauft.

Binding : Taschenbuch, Edition : 1st ed. 2023, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 175, publicationDate : 2023-02-02, releaseDate : 2023-02-02, publishers : Akash Lal, Stefano Tonetta, ISBN : 3031258029

Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783031258022

Arie Gurfinkel Verified Software Theories

Finde Tipps, Bewertungen und Funktionen zu Arie Gurfinkel Verified Software Theories, das für 52.94 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Arie Gurfinkel - und wird von MEDIMOPS verkauft.

Binding : Taschenbuch, Edition : 1st ed. 2016, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 236, publicationDate : 2016-03-07, releaseDate : 2016-03-07, publishers : Arie Gurfinkel, languages : english, ISBN : 3319296124

Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319296128

Natarajan Shankar Verified Software

Entdecke Informationen, Ratschläge und Preise für Natarajan Shankar Verified Software, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Natarajan Shankar - hergestellt.

Binding : Taschenbuch, Edition : 2008, Label : Springer, Publisher : Springer, PackageQuantity : 18, medium : Taschenbuch, numberOfPages : 276, publicationDate : 2008-09-22, releaseDate : 2008-09-22, publishers : Natarajan Shankar, James Woodcock, languages : english, ISBN : 3540878726

Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540878728

Ruzica Piskac Verified Software Theories

Entdecke Informationen, Ratschläge und Preise für Ruzica Piskac Verified Software Theories, 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 Ruzica Piskac - hergestellt.

Binding : Taschenbuch, Edition : 1st ed. 2018, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 345, publicationDate : 2018-11-24, publishers : Ruzica Piskac, Philipp Rümmer, ISBN : 3030035913

Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783030035914

Sandrine Blazy Interactive Theorem Proving

Entdecke Informationen, Ratschläge und Preise für Sandrine Blazy Interactive Theorem Proving, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Sandrine Blazy - hergestellt.

Binding : Taschenbuch, Edition : 2013, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 498, publicationDate : 2013-07-19, publishers : Sandrine Blazy, Christine Paulin-Mohring, David Pichardie, languages : english, ISBN : 364239633X

Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642396335

Sandrine Blazy S mantiques formelles

Finde Tipps, Bewertungen und Funktionen zu Sandrine Blazy S mantiques formelles, das für 48.31 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Sandrine Blazy - und wird von MEDIMOPS verkauft.

Brand : Omniscriptum, Binding : Taschenbuch, Label : Editions universitaires europeennes, Publisher : Editions universitaires europeennes, medium : Taschenbuch, numberOfPages : 132, publicationDate : 2010-09-15, authors : Sandrine Blazy, ISBN : 6131529957

Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9786131529955

Karl Palmskog QED at Large

Finde Tipps, Bewertungen und Funktionen zu Karl Palmskog QED at Large, das für 116.8 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Karl Palmskog - und wird von MEDIMOPS verkauft.

Brand : Now Publishers, Binding : Taschenbuch, Label : Now Publishers Inc, Publisher : Now Publishers Inc, medium : Taschenbuch, numberOfPages : 198, publicationDate : 2019-09-03, releaseDate : 2019-09-03, authors : Karl Palmskog, Talia Ringer, Ilya Sergey, ISBN : 1680835947

Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9781680835946

William Vance Clean Architecture Tips

Finde Tipps, Bewertungen und Funktionen zu William Vance Clean Architecture Tips, das für 19.6 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu William Vance - und wird von MEDIMOPS verkauft.

Brand : Joiningthedotstv Limited, Binding : Taschenbuch, Edition : Illustrated, Label : Joiningthedotstv Limited, Publisher : Joiningthedotstv Limited, Format : Illustriert, medium : Taschenbuch, numberOfPages : 156, publicationDate : 2020-03-09, authors : William Vance, ISBN : 1913597288

Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9781913597283

Martin Fr nzle Dependable Software

Finde Tipps, Bewertungen und Funktionen zu Martin Fr nzle Dependable Software, das für 52.94 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Martin Fränzle - und wird von MEDIMOPS verkauft.

Binding : Taschenbuch, Edition : 1st ed. 2016, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 344, publicationDate : 2016-10-06, releaseDate : 2016-10-06, publishers : Martin Fränzle, languages : english, ISBN : 3319476769

Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319476766

Xuandong Li Dependable Software Engineering

Entdecke Informationen, Ratschläge und Preise für Xuandong Li Dependable Software Engineering, das für 51.14 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Xuandong Li - hergestellt.

Binding : Taschenbuch, Edition : 1st ed. 2015, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 317, publicationDate : 2015-10-27, publishers : Xuandong Li, Zhiming Liu, Yi Wang, languages : english, ISBN : 3319259415

Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319259413

Hideyuki Tokuda Software Security

Finde Tipps, Bewertungen und Funktionen zu Hideyuki Tokuda Software Security, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Hideyuki Tokuda - und wird von MEDIMOPS verkauft.

Brand : Springer, Binding : Taschenbuch, Edition : 2003, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 488, publicationDate : 2008-06-13, authors : Hideyuki Tokuda, Mitsuhiro Okada, Andre Scedrov, Benjamin Pierce, Akinori Yonezawa, ISBN : 3540007083

Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540007081

Shengchao Qin Dependable Software

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

Kokichi Futatsugi Software Security

Entdecke Informationen, Ratschläge und Preise für Kokichi Futatsugi Software Security, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Kokichi Futatsugi - hergestellt.

Brand : Springer, Binding : Taschenbuch, Edition : 2004, Label : Springer, Publisher : Springer, NumberOfItems : 1, Format : Illustriert, medium : Taschenbuch, numberOfPages : 360, publicationDate : 2008-06-13, releaseDate : 2004-12-16, authors : Kokichi Futatsugi, Naoki Yonezaki, Fumio Mizoguchi, ISBN : 354023635X

Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540236351

Jun Pang Dependable Software Engineering

Erhalte Tipps, Meinungen und Funktionen zu Jun Pang Dependable Software Engineering, das für 52.94 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Jun Pang - hergestellt und von MEDIMOPS verkauft.

Brand : Springer, Binding : Taschenbuch, Edition : 1st ed. 2020, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 220, publicationDate : 2020-11-09, releaseDate : 2020-11-09, publishers : Jun Pang, Lijun Zhang, ISBN : 3030628213

Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783030628215



sandrine blazy verified software theories


https://de.shoppaloo.com/ participates in the Amazon Europe S.r.l. Affiliate Program, an affiliate program that allows sites to receive an advertising commission by advertising and providing links to the Amazon.fr site