25 years of model checking : history, achievements, perspectives ; [Festschrift]
| Other Authors: | |
|---|---|
| Language: | English |
| Published: |
Berlin Heidelberg New York, NY:
Springer,
2008.
|
| Series: | Lecture notes in computer science
|
| Subjects: |
KOLEKSI TERBUKA
| Call Number: |
QA 76.76 .V47 T8 2008 |
|---|
| Accession | Item Category | Format | Status | Notes |
|---|
| 1100065421 | Open Shelf | Book | AVAILABLE |