Location & Availability for: Model checking software : 17th Internati

 Staff view

You must be logged in to Tag Records

Model checking software [electronic resource] : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010 : proceedings /

Jaco van de Pol, Michael Weber (eds.).

Book Cover
Names: Pol, Jaco van de. | Weber, Michael.
Published: Berlin : Springer, 2010.
Series: Lecture notes in computer science ; 6349.
LNCS sublibrary. SL 1 Theoretical computer science and general issues.
Topics: Computer software - Verification - Congresses. | SPIN (Computer file) - Congresses.
Genres: Electronic books.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Model checking software : 17th Internati