/LC.GIF&client=easterncarolinaedu)
Model checking software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 ; proceedings / Corina S. Pasareanu (ed.).
| Author/creator | International SPIN Workshop |
| Other author | Păsăreanu, Corina S. |
| Format | Electronic |
| Publication Info | Berlin ; New York : Springer, |
| Description | x, 295 p. : ill. ; 24 cm. |
| Supplemental Content | Full text available from Springer Books |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present) |
| Supplemental Content | Full text available from Springer Nature - Springer Computer Science eBooks 2009 English International |
| Subjects |
| Series | Lecture notes in computer science, 0302-9743 ; 5578 LNCS sublibrary: SL 1 -- Theoretical computer science and general issues |
| General note | This volume contains the proceedings of the 16th International SPIN Workshop on Model Checking of Software (SPIN 2009), that was held at the Grenoble World Trade Center, in Grenoble France, June 26-28, 2009.--Pref. |
| Bibliography note | Includes bibliographical references and index. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2009928779 |
| ISBN | 3642026516 (pbk. : alk. paper) |
| ISBN | 9783642026515 (pbk. : alk. paper) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |