Ihr Marktplatz für antiquarische und neue Bücher | Login | Neu registrieren Registrieren
Buchfreund als App
NASA Formal Methods (Softcover)  - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
Bild 1 von 1

NASA Formal Methods (Softcover)

7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

2015 - Erschienen 09.04.2015 - Kartoniert, 472 Seiten, 235mm x 155mm x 26mm, Sprache(n): eng

Produktart:
📚 Bücher
Anbieter:
MARZIES Buch- und Medienhandel
Bestell-Nr.:
A23377798
Kategorie(n):
ISBN:
3319175238
EAN:
9783319175232
Stichworte:

Isabelle/HOL, SATsolving, Webapplication, domain-specificlanguage, embeddedsystems, formalmethods, formalverification, hybridsystems, Java, modelchecking, Real-timesystems, Simulation, Softwareengineering, staticanalysis, theoremproving, timedautomata, UseCases, verification, Specification, Faultanalysis, Betriebssystem (EDV), Operating System, EDV / Theorie / Software-Entw. / Software Engineering, Programmiersprachen

Angebotene Zahlungsarten
Vorauskasse, PayPal
Neuware
Neuware60,88 EURKostenloser Versand

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

Meine zuletzt angesehenen Bücher