Computer-Aided Verification
168.16 CHF
Versandkostenfrei
Lieferzeit: 21 Werktage
- Artikel-Nr.: 10334804
Beschreibung
Introduction; R. Kurshan. Formal Hardware Verification Methods: A Survey; A. Gupta. Auto/Autograph: V. Roy, R. de Simone. On-the-Fly Verification of Finite Transition Systems; J.-C. Fernandez, L. Mounier, C. Jard, T. Jéron. Memory-Efficient Algorithms for the Verification of Temporal Properties; C. Courcoubetis, M. Vardi, P. Wolper, M. Yannakakis.
Eigenschaften
Gewicht: | 870 g |
Höhe: | 235 |
Seiten: | 142 |
Sprachen: | Englisch |
Autor: | Robert Kurshan |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen