Umfang:
1 Online-Ressource (XVIII, 151 Seiten)
ISBN:
9781461511014
,
1461511011
,
1461353955
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe Jones, Robert B Symbolic Simulation Methods for Industrial Formal Verification Boston, MA : Springer US, 2002 9781461353959
Weitere Ausg.:
9781461353959
Sprache:
Englisch
DOI:
10.1007/978-1-4615-1101-4
URL:
http://dx.doi.org/10.1007/978-1-4615-1101-4
URL:
Ausführliche Beschreibung