25 years of model checking : history, achievements, perspectives Orna Grumberg, Helmut Veith (eds.).
Publisher number: 12326419Series: Lecture notes in computer science ; 5000. | Lecture notes in computer science. Festschrift.Publication details: Berlin : Springer, 2008.Description: vi, 230 p. : ill. ; 24 cmISBN:- 9783540698494 (pbk.)
- 005.1 Y32 23
- QA76.76.V47 A23 2008
| Item type | Current library | Collection | Call number | Status | Notes | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Books
|
Central Library, IISER Bhopal Reference Section | Reference | 005.1 Y32 (Browse shelf(Opens below)) | Not For Loan | Reserve | 8453 |
Browsing Central Library, IISER Bhopal shelves, Shelving location: Reference Section, Collection: Reference Close shelf browser (Hides shelf browser)
| 005.1 P926S8 Software engineering : | 005.1 Sp6S Software product line engineering : | 005.1 V47P Approximation algorithms | 005.1 Y32 25 years of model checking : | 005.1076 P753R Requirements engineering fundamentals : | 005.11 L11G2 Guide to Competitive Programming : | 005.131 B43M3 Mathematical logic for computer science |
Includes bibliographical references and index.
There are no comments on this title.
Log in to your account to post a comment.