Coverart for item
The Resource Scalable techniques for formal verification, Sandip Ray, (electronic book)

Scalable techniques for formal verification, Sandip Ray, (electronic book)

Label
Scalable techniques for formal verification
Title
Scalable techniques for formal verification
Statement of responsibility
Sandip Ray
Creator
Subject
Language
eng
Cataloging source
GW5XE
http://library.link/vocab/creatorName
Ray, Sandip
Dewey number
004.151
Illustrations
illustrations
Index
index present
LC call number
QA76.76.V47
LC item number
R39 2010
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/subjectName
  • Computer systems
  • Automatic theorem proving
  • Formal methods (Computer science)
  • Computer science
Label
Scalable techniques for formal verification, Sandip Ray, (electronic book)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
SPR663096603
Dimensions
unknown
Extent
1 online resource (xiv, 243 p.)
Form of item
online
Isbn
9781441959980
Other physical details
ill.
Specific material designation
remote
Label
Scalable techniques for formal verification, Sandip Ray, (electronic book)
Publication
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
SPR663096603
Dimensions
unknown
Extent
1 online resource (xiv, 243 p.)
Form of item
online
Isbn
9781441959980
Other physical details
ill.
Specific material designation
remote

Library Locations

Processing Feedback ...