Ihr Marktplatz für antiquarische und neue Bücher | Login | Neu registrieren Registrieren
Buchfreund als App
Model Checking Software  - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
Leider kein Bild vorhanden

Model Checking Software

17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

2010 - Erschienen 2010.

Produktart:
📚 Bücher
Autor(en):
van der Pol, Jaco und Michael Weber:
Anbieter:
Buchpark GmbH
Bestell-Nr.:
929315312
Katalog:
Varia
ISBN:
3642161634
EAN:
9783642161636
Stichworte:

formal, methods, testing, nondeterminism, program, analysis, bisimulation, static, completeness, probabilistic, models, finding, abstraction, modeling, simulation, automatic, verification, condition

Angebotene Zahlungsarten
Vorauskasse, PayPal
gebraucht, sehr gut 61,72 EUR 55,55 EUR Kostenloser Versand
Sonderaktion: 10% Rabatt bis 04.07.2024

Ähnliche Bücher, die interessant für Sie sein könnten Autor: Jaco van der Pol, Michael Weber Verlag: Springer Berlin,

Sparen Sie Versandkosten bei Buchpark GmbH durch den Kauf weiterer Artikel