Neuware
Provably Correct Systems
2017 Gebunden, 348 Seiten, 241mm x 160mm x 24mm, Sprache(n): eng Provides historic account on the ProCoS projects and their impactAddresses theory and tool-supported practice of verificationExplores formal methods and applications for the International Space StationDiscusses the advances in conn…
Neuware
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland
Nichts passendes gefunden?
- ISBN / EAN
- 9783319486277
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)!