Coverart for item
The Resource Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings, Antti Valmari (ed.), (electronic book)

Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings, Antti Valmari (ed.), (electronic book)

Label
Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings
Title
Model checking software
Title remainder
13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings
Statement of responsibility
Antti Valmari (ed.)
Title variation
  • 13th International SPIN Workshop
  • Thirteenth International SPIN Workshop
  • International SPIN Workshop
  • European Joint Conferences on Theory and Practice of Software
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Dewey number
005.1/4
Illustrations
illustrations
Index
index present
LC call number
QA76.76.V47
LC item number
I58 2006
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2006
http://bibfra.me/vocab/lite/meetingName
International SPIN Workshop
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
Valmari, Antti.
Series statement
Lecture notes in computer science,
Series volume
3925
http://library.link/vocab/subjectName
Computer software
Label
Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings, Antti Valmari (ed.), (electronic book)
Instantiates
Publication
Note
"Co-located with the European Joint Conferences on Theory and Practice of Software (ETAPS 2006)"--Preface
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
SPR262692290
Dimensions
unknown
Extent
1 online resource (x, 305 pages)
Form of item
online
Isbn
9783540331032
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Specific material designation
remote
Label
Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings, Antti Valmari (ed.), (electronic book)
Publication
Note
"Co-located with the European Joint Conferences on Theory and Practice of Software (ETAPS 2006)"--Preface
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
SPR262692290
Dimensions
unknown
Extent
1 online resource (x, 305 pages)
Form of item
online
Isbn
9783540331032
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Specific material designation
remote

Library Locations

Processing Feedback ...