Scalable Techniques for Formal Verification

Scalable Techniques for Formal Verification

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Ray, Sandip (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: New York, Heidelberg u.a. Springer c2010
Schlagworte:
Computer systems > Verification > Automatic theorem proving > Formal methods (Computer science)
Online Zugang:Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Includes bibliographical references and index
Beschreibung:XIV, 243 S.
graph. Darst.
235 mm x 155 mm
ISBN:9781441959973
978-1-4419-5997-3
1441959971
1-4419-5997-1