Catalogo · 9783540457398
Formal Techniques in Real-Time and Fault-Tolerant Systems
ISBN 9783540457398
Descrizione non disponibile per questo libro.
Vedi su Google Bookspowered by Google
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Werner Damm
Wo aber bleibt die Seele?
Werner Damm
Computer Aided Verification
Werner Damm, Holger Hermanns
Practical formal methods for hardware design
Carlos Delgado Kloos, Werner Damm
Integration of Software Specification Techniques for Applications in Engineering
Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif
Verba volant · scripta manent