Coverart for item
The Resource 25 years of model checking : history, achievements, perspectives, Orna Grumberg, Helmut Veith (eds.), (electronic resource)

25 years of model checking : history, achievements, perspectives, Orna Grumberg, Helmut Veith (eds.), (electronic resource)

Label
25 years of model checking : history, achievements, perspectives
Title
25 years of model checking
Title remainder
history, achievements, perspectives
Statement of responsibility
Orna Grumberg, Helmut Veith (eds.)
Contributor
Subject
Language
eng
Member of
Dewey number
005.14
Illustrations
illustrations
Index
index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Grumberg, Orna
  • Veith, Helmut
Series statement
  • Lecture notes in computer science,
  • LNCS. Festschrift
Series volume
5000
http://library.link/vocab/subjectName
Computer systems
Label
25 years of model checking : history, achievements, perspectives, Orna Grumberg, Helmut Veith (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
ocn272314508
Dimensions
unknown
Extent
1 online resource (vi, 230 p.)
Form of item
online
Isbn
9783540698500
Other physical details
ill
Specific material designation
remote
System control number
(OCoLC)272314508
Label
25 years of model checking : history, achievements, perspectives, Orna Grumberg, Helmut Veith (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
ocn272314508
Dimensions
unknown
Extent
1 online resource (vi, 230 p.)
Form of item
online
Isbn
9783540698500
Other physical details
ill
Specific material designation
remote
System control number
(OCoLC)272314508

Library Locations

    • InternetBorrow it
      Albany, Auckland, 0632, NZ
Processing Feedback ...