Neuware
Using Event-B for Critical Device Software Systems
von Neeraj Kumar Singh
2013 Gebunden, 344 Seiten, 241mm x 160mm x 24mm, Sprache(n): eng Presents an innovative development approach for critical systems and prototype implementationDiscusses the automization of critical system development, from requirements analysis to code generationProvides a novel approach for medi…
Neuware
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland
Nichts passendes gefunden?
- ISBN / EAN
- 9781447152590
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)!