Library
Your session will expire automatically in
0
seconds.
Continue session
End session now
SearchType
TITLE
KEYWORD
AUTHOR
SUBJECT
BJL CLASSMARK
KDL CLASSMARK
PERIODICAL TITLE
ISN
RESOURCE NAME
RESOURCE SUBJECT
Search
Search Scope
BJL, Hull
KDL, Scarborough
All Libraries
Limit search to available items
Record:
Title
25 years of model checking : history, achievements, perspectives / Orna Grumberg, Helmut Veith (eds.).
Publication Info
Berlin : Springer, c2008.
Location/Availability
More Details
Full Record
Web View
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
QA 76.76 V47 T9
8 WEEK LOAN
DUE 30-05-24
Persistent link to this item
Click link and copy URL from browser navigation toolbar
Descript
230p.
Note
International conference proceedings.
"This volume presents a collection of invited papers based on talks at the symposium "25 Years of Model Checking (25MC)".
ISBN
9783540698494 (pbk.)
3540698493 (pbk.)
Click on the terms below to find similar items in the catalogue
Series
Lecture notes in computer science ; 5000
Subject
Computer software -- Verification -- Congresses.
Integrated circuits -- Verification -- Congresses.
Alt author
Grumberg, Orna.
Veith, Helmut.
Descript
230p.
Note
International conference proceedings.
"This volume presents a collection of invited papers based on talks at the symposium "25 Years of Model Checking (25MC)".
ISBN
9783540698494 (pbk.)
3540698493 (pbk.)
Series
Lecture notes in computer science ; 5000
Subject
Computer software -- Verification -- Congresses.
Integrated circuits -- Verification -- Congresses.
Alt author
Grumberg, Orna.
Veith, Helmut.
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
QA 76.76 V47 T9
8 WEEK LOAN
DUE 30-05-24
Subject
Computer software -- Verification -- Congresses.
Integrated circuits -- Verification -- Congresses.
Descript
230p.
Note
International conference proceedings.
"This volume presents a collection of invited papers based on talks at the symposium "25 Years of Model Checking (25MC)".
Alt author
Grumberg, Orna.
Veith, Helmut.
ISBN
9783540698494 (pbk.)
3540698493 (pbk.)
Persistent link to this item
Click link and copy URL from browser navigation toolbar
Links and services for this item:
Persistent link to this item
Click link and copy URL from browser navigation toolbar