Neuware
Reactive Systems - Modelling, Specification and Verification
von Luca Aceto, Anna Ingolfsdottir, Jiri Srba
2014 Gebunden, 302 Seiten, 250mm x 175mm x 21mm, Sprache(n): eng Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important…
Neuware
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland
Nichts passendes gefunden?
- ISBN / EAN
- 9780521875462
Link zur Suche kopieren
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!