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

Verified Software. Theories, Tools and Experiments Azalea Raad

Ø 0.0
0 Bewertungen
53,49 €

Titel: Verified Software. Theories, Tools and Experiments, Untertitel: 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers, Einband: Taschenbuch, Autor: Azalea Raad, Verlag: Springer Nature Switzerland, Springer International Publishing, Sprache: Englisch, Seiten: 132, Maße: 235x155x8 mm, Gewicht: 213 g, Verkäufer: buch-mimpf, Schlagworte: SAT/SMT solvers Specification annotation languages automated theorem provers integrated verification environments interactive verifiers model checkers program analyzers proof checkers software verification.

Jetzt bei Ebay:

Zum Angebot *
  • Verlag:
    Springer Nature Switzerland, Springer International Publishing
  • Autor:
    Azalea Raad
  • Seiten:
    132
  • Gewicht:
    213
  • Einband:
    Taschenbuch
  • Format:
    235x155x8 mm
  • Sprache:
    Englisch
  • Marke:
    Springer Nature Switzerland, Springer International Publishing
  • Fachbereich:
    Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
  • Publikationstitel:
    Verified Software. Theories, Tools and Experiments
  • Erscheinungsjahr:
    20250503
  • Produktart:
    Bücher
  • Buchtitel:
    Verified Software. Theories, Tools and Experiments
  • Film-/Fernseh-Titel:
    Keine Angabe
  • Publikationsname:
    Verified Software. Theories, Tools and Experiments
  • Musiktitel:
    Keine Angabe
  • Interpret:
    Keine Angabe
  • Schlagworte:
    SAT/SMT solvers Specification annotation languages automate...
  • ISBN:
    9783031866944
  • Standardversand:
    DHL Kleinpaket kostenlos - Lieferung zwischen 09. July 2025 und 10. July 2025 (bei heutigem Zahlungseingang)
  • Standardversand:
    DHL Paket 3,99 EUR - Lieferung zwischen 09. July 2025 und 10. July 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 - Verified Software. Theories, Tools, and Experiments Jorge A. Navas (u. a.) Buch

Verified Software. Theories, Tools, and Experiments Jorge A. Navas (u. a.) Buch

51,90 €
Zum Angebot
Produktbild - Verified Software: Theories, Tools and Experiments Daniel Kroening

Verified Software: Theories, Tools and Experiments Daniel Kroening

51,36 €
Zum Angebot
Produktbild - Verified Software: Theories, Tools and Experiments Daniel Kroening (u. a.) Buch

Verified Software: Theories, Tools and Experiments Daniel Kroening (u. a.) Buch

50,90 €
Zum Angebot
Produktbild - Thomas Wies (u. a.) | Verified Software. Theories, Tools, and Experiments | Buch

Thomas Wies (u. a.) | Verified Software. Theories, Tools, and Experiments | Buch

49,95 €
Zum Angebot
Produktbild - Verified Software: Theories, Tools, Experiments Jim Woodcock (u. a.) Taschenbuch

Verified Software: Theories, Tools, Experiments Jim Woodcock (u. a.) Taschenbuch

51,90 €
Zum Angebot
Produktbild - Verified Software. Theories, Tools and Experiments. Stefano Tonetta

Verified Software. Theories, Tools and Experiments. Stefano Tonetta

53,49 €
Zum Angebot
Produktbild - Verified Software. Theories, Tools and Experiments Serdar Tasiran

Verified Software. Theories, Tools and Experiments Serdar Tasiran

53,49 €
Zum Angebot
Produktbild - Verified Software. Theories, Tools, and Experiments Philipp Rümmer

Verified Software. Theories, Tools, and Experiments Philipp Rümmer

53,49 €
Zum Angebot
Produktbild - Verified Software. Theories, Tools, and Experiments Marsha Chechik

Verified Software. Theories, Tools, and Experiments Marsha Chechik

53,49 €
Zum Angebot
Produktbild - Verified Software. Theories, Tools, and Experiments Thomas Wies

Verified Software. Theories, Tools, and Experiments Thomas Wies

53,49 €
Zum Angebot
Produktbild - Verified Software: Theories, Tools, Experiments: 4th International Conference, V

Verified Software: Theories, Tools, Experiments: 4th International Conference, V

43,39 €
Zum Angebot
Produktbild - Verified Software. Theories, Tools, and Experiments Jorge A. Navas

Verified Software. Theories, Tools, and Experiments Jorge A. Navas

53,49 €
Zum Angebot
Produktbild - Verified Software: Theories, Tools, and Experiments Sanjit A. Seshia

Verified Software: Theories, Tools, and Experiments Sanjit A. Seshia

53,49 €
Zum Angebot
Produktbild - Jim Woodcock (u. a.) | Verified Software: Theories, Tools, Experiments | Buch

Jim Woodcock (u. a.) | Verified Software: Theories, Tools, Experiments | Buch

49,95 €
Zum Angebot
Produktbild - Andrey Rybalchenko (u. a.) | Verified Software: Theorie, Tools, Experiments

Andrey Rybalchenko (u. a.) | Verified Software: Theorie, Tools, Experiments

49,95 €
Zum Angebot
Produktbild - Verified Software: Theories, Tools, Experiments Jim Woodcock

Verified Software: Theories, Tools, Experiments Jim Woodcock

53,49 €
Zum Angebot
Produktbild - Verified Software: Theories, Tools, Experiments: Second International Conference

Verified Software: Theories, Tools, Experiments: Second International Conference

42,18 €
Zum Angebot
Produktbild - Verified Software: Theories, Tools, and Experiments - 9783319296128

Verified Software: Theories, Tools, and Experiments - 9783319296128

44,55 €
Zum Angebot
Produktbild - Dependable Software Engineering: Theories, Tools, and Applications Li (u. a.)

Dependable Software Engineering: Theories, Tools, and Applications Li (u. a.)

49,90 €
Zum Angebot
Produktbild - Xinyu Feng (u. a.) | Dependable Software Engineering. Theories, Tools, and...

Xinyu Feng (u. a.) | Dependable Software Engineering. Theories, Tools, and...

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