Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Anton Wijs (u. a.) | Concise Guide to Software Verification | Buch | Englisch

74,95 €

Titel: Concise Guide to Software Verification | Zusatz: From Model Checking to Annotation Checking | Medium: Buch | Autor: Anton Wijs (u. a.) | Einband: Gebunden | Inhalt: ix / 248 S. / 19 s/w Illustr. / 127 farbige Illustr. / 248 p. 146 illus. / 127 illus. in color. | Ausstattung / Beilage: HC runder Rücken kaschiert | Auflage: 2023 | Sprache: Englisch | Seiten: 260 | Reihe: Texts in Computer Science | Maße: 241 x 160 x 19 mm | Erschienen: 25.07.2023 | Anbieter: Faboplay.

Jetzt bei Ebay:

Zum Angebot *
  • Buchtitel:
    Concise Guide to Software Verification
  • Autor:
    Anton Wijs
  • Sprache:
    Englisch
  • Buchreihe:
    Texts in Computer Science
  • Erscheinungsjahr:
    2023
  • Anzahl der Seiten:
    260
  • Marke:
    Springer International Publishing, Springer International Publish
  • Hersteller:
    Springer International Publishing, Springer International Publish
  • Verlag:
    Springer International Publishing, Springer International Publish
  • Format:
    Gebundene Ausgabe
  • Genre:
    Mathematik, Naturwissenschaften, Technik, Medizin
  • Ausgabe:
    2023
  • Titelzusatz:
    From Model Checking to Annotation Checking
  • Schlagworte:
    Informatik, Softwaretests und Prüfsoftware, EDV, Zahlentheorie, S
  • Herstellungsland und -region:
    Deutschland
  • ISBN:
    3031301668
  • Standardversand:
    DHL Paket 2,95 EUR - Lieferung zwischen 17. May 2025 und 23. May 2025 (bei heutigem Zahlungseingang)
  • Versand nach:
    Deutschland
  • Versand ausgeschlossen:
    Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere

Ähnliche Artikel

Produktbild - Guide to Software Verification with Frama-C | Nikolai Kosmatov (u. a.) | Buch

Guide to Software Verification with Frama-C | Nikolai Kosmatov (u. a.) | Buch

63,95 €
Zum Angebot
Produktbild - A Concise Guide to Market Research Erik Mooi (u. a.) Taschenbuch xxii Englisch

A Concise Guide to Market Research Erik Mooi (u. a.) Taschenbuch xxii Englisch

59,90 €
Zum Angebot
Produktbild - Nikolai Kosmatov (u. a.) | Guide to Software Verification with Frama-C | Buch

Nikolai Kosmatov (u. a.) | Guide to Software Verification with Frama-C | Buch

61,95 €
Zum Angebot
Produktbild - Saud Alenezi (u. a.) | A Concise Guide to Nuclear Medicine | Buch | Englisch

Saud Alenezi (u. a.) | A Concise Guide to Nuclear Medicine | Buch | Englisch

74,95 €
Zum Angebot
Produktbild - Oriental Materia Medica: A Concise Guide Buch Keats Publishing

Oriental Materia Medica: A Concise Guide Buch Keats Publishing

68,17 €
Zum Angebot
Produktbild - Sisay Asres (u. a.) | A guide to WEIRCOME software | Taschenbuch | Englisch

Sisay Asres (u. a.) | A guide to WEIRCOME software | Taschenbuch | Englisch

47,95 €
Zum Angebot
Produktbild - Software Verification Roderick Bloem (u. a.) Taschenbuch xiv Englisch 2022

Software Verification Roderick Bloem (u. a.) Taschenbuch xiv Englisch 2022

55,90 €
Zum Angebot
Produktbild - Anton Wijs (u. a.) | Model Checking Software | Taschenbuch | Englisch (2016)

Anton Wijs (u. a.) | Model Checking Software | Taschenbuch | Englisch (2016)

49,95 €
Zum Angebot
Produktbild - Concise Guide to the Internet of Things | Michael Mccarthy (u. a.) | Englisch

Concise Guide to the Internet of Things | Michael Mccarthy (u. a.) | Englisch

65,95 €
Zum Angebot
Produktbild - Concise Guide to Software Verification - 9783031301667

Concise Guide to Software Verification - 9783031301667

67,15 €
Zum Angebot
Produktbild - The Software Developer's Guide to Linux David Cohen (u. a.) Taschenbuch Englisch

The Software Developer's Guide to Linux David Cohen (u. a.) Taschenbuch Englisch

54,90 €
Zum Angebot
Produktbild - Concise Guide to Databases A Practical Introduction Domdouzis (u. a.) Buch xxiii

Concise Guide to Databases A Practical Introduction Domdouzis (u. a.) Buch xxiii

45,90 €
Zum Angebot
Produktbild - Critical Thinking | A Concise Guide | Gary Kemp (u. a.) | Englisch | Taschenbuch

Critical Thinking | A Concise Guide | Gary Kemp (u. a.) | Englisch | Taschenbuch

49,95 €
Zum Angebot
Produktbild - Allan Hackshaw | A Concise Guide to Clinical Trials | Taschenbuch | Englisch

Allan Hackshaw | A Concise Guide to Clinical Trials | Taschenbuch | Englisch

78,95 €
Zum Angebot
Produktbild - The Concise Guide to Axis Aircraft of World War II: by Mondey, David 1851529667

The Concise Guide to Axis Aircraft of World War II: by Mondey, David 1851529667

9,02 €
Zum Angebot
Produktbild - Software Verification Maria Christakis (u. a.) Taschenbuch xxvi Englisch 2020

Software Verification Maria Christakis (u. a.) Taschenbuch xxvi Englisch 2020

51,90 €
Zum Angebot
Produktbild - Destination CISSP: A Concise Guide von Witcher, Rob | Buch | Zustand sehr gut

Destination CISSP: A Concise Guide von Witcher, Rob | Buch | Zustand sehr gut

83,16 €
Zum Angebot
Produktbild - Cambridge Architecture A Concise Guide Ray Nicholas (u. a.) Taschenbuch Englisch

Cambridge Architecture A Concise Guide Ray Nicholas (u. a.) Taschenbuch Englisch

63,90 €
Zum Angebot
Produktbild - Al-Mawrid Al-waseet Concise Dictionary Arabisch Englisch Wörterbuch

Al-Mawrid Al-waseet Concise Dictionary Arabisch Englisch Wörterbuch

19,00 €
Zum Angebot
Produktbild - Critical Thinking | A Concise Guide | Gary Kemp (u. a.) | Taschenbuch | Englisch

Critical Thinking | A Concise Guide | Gary Kemp (u. a.) | Taschenbuch | Englisch

49,95 €
Zum Angebot
* Affiliate-Link zur Verkaufsplattform Ebay