Model checking software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, proceedings / Jaco van de Pol, Michael Weber (eds.).

Author/creator International SPIN Workshop
Other author Pol, Jaco van de.
Other author Weber, Michael (Michael F.)
Format Electronic
Publication InfoBerlin Heidelberg New York : Springer 2010
Descriptionx, 261 pages : illustrations ; 24 cm.
Supplemental ContentFull text available from Springer Nature - Springer Computer Science eBooks 2010 English International
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Supplemental ContentFull text available from Springer Books
Subjects
SPIN (Computer file)--Congresses.
Computer software--Verification. --Congresses.
Computer simulation--Testing. --Data processing. --Congresses.

SeriesLecture notes in computer science, 0302-9743 ; 6349
Bibliography noteIncludes bibliographical references and author index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2010935165
ISBN9783642161636 (acid-free paper)
ISBN3642161634 (acid-free paper)