Unfolding a partial-order approach to model checking Javier Esparza and Keijo Heljanko
Series: Monographs in theoretical computer science, An EATCS seriesPublication details: Berlin Springer 2008Description: xii,169pISBN:- 9783540774259
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
University Library General Stacks | 004.416.2 ESP (Browse shelf(Opens below)) | Available | 00063153 |
Browsing University Library shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
| 004.415.53 AMM Introduction to software testing | 004.415.53 ARN Professional software testing with visual studio 2005 team system | 004.415.53 FOU Essential software testing | 004.416.2 ESP Unfolding | 004.421 CON Explorations in computing | 004.421 CON;1 Explorations in computing | 004.421 DAS Metaheuristic clustering |
There are no comments on this title.