Ihr Marktplatz für antiquarische und neue Bücher | Login | Neu registrieren Registrieren
Buchfreund als App
Model Checking Software  - 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings
Bild 1 von 1

Model Checking Software

30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings

Erschienen 2024.

43089998/1
Mehr anzeigen

graph theory, software quality, computer systems, programming languages, model checking, formal languages, software design, software architecture, artificial intelligence, embedded systems, computer programming, engineering, software engineering, theoretical computer science, architecture verification and validation, formal logic, formal methods, signal processing, verification and validation

Produktart:
📚 Bücher
Autor(en):
Neele, Thomas und Anton Wijs:
Anbieter:
Buchpark GmbH
Bestell-Nr.:
430899981
Katalog:
Varia
ISBN | EAN:
3031661486 | 9783031661488
Stichworte:
graph, theory, software, quality, computer, systems, programming, languages, model, checking, formal, design, architecture, artificial, intelligence, embedded, engineering, theoretical, science, verification, validation, logic, methods, signal, processing
Zahlungsarten:
Vorauskasse, PayPal
Gebraucht, sehr gut 31,19 EUR 28,07 EUR Kostenloser Versand
Sonderaktion: 10% Rabatt bis 05.11.2026
Model Checking Software  - 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings
Model Checking Software
Gebraucht, sehr gut
31,19 EUR 28,07 EUR
Kostenloser Versand
This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.


The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.
Weitere/ähnliche Angebote für diesen Artikel Model Checking Software - 30th International Symposium, SPIN 2024, Luxembourg…

Ähnliche Bücher, die interessant für Sie sein könnten Autor: Thomas Neele, Anton Wijs Verlag: Springer International Publishing,

Sparen Sie Versandkosten bei Buchpark GmbH durch den Kauf weiterer Artikel