Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings / Dennis Dams ... [et al.], (eds.)
(Lecture notes in computer science ; 1680)
| Publisher | Berlin ; Tokyo : Springer |
|---|---|
| Year | c1999 |
| Authors | *SPIN (5th : 1999 : Trento, Italy) Federated Logic Conference (1999 : Trento, Italy) SPIN (6th : 1999 : Toulouse, France) World Congress on Formal Methods in the Development of Computing Systems (1999 : Toulouse, France) Dams, Dennis |
Hide book details.
| Location | Volume | Call No. | Barcode No. | Status | Comments | ISBN | Printed | Restriction | Reserve |
|---|---|---|---|---|---|---|---|---|---|
| Library Main Building 3rd fl. (Foreign Books) |
|
5080:1:1680 | 129904533- |
|
|
|
|
Hide details.
| Material Type | Books |
|---|---|
| Size | x, 276 p. : ill. ; 24 cm |
| Notes | Includes bibliographical references and index "The 5th International SPIN Workshop on Theoretical Aspects of Model Checking (5th SPIN'99) was held on July 5, 1999 as a satellite workshop of FLoC'99, while the 6th International SPIN Workshop on Practical Aspects of Model Checking (6th SPIN'99) was held as a user group meeting within FM'99 on September 21 and 24, 1999" - Preface, p. [v] |
| Subjects | LCSH:Computer software -- Verification -- Congresses
All Subject Search
LCSH:SPIN (Computer file) -- Congresses All Subject Search BLSH:SPIN (...Computer file...) LCSH:Automatic theorem proving LCSH:Verification (Logic) |
| Classification | LCC:QA76.76.V47 DC21:005.14 |
| Language | English |
| ID | 0000399610 |
| ISBN | 3540664998 |
| NCID |
BA43719764 
|
Similar Items
Usage statistics of this contents
Number of accesses to this page：1times