Model checking software : 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings /

Model checking software : 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings /

Show other versions (2)

This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016. The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and...

Full description

Bibliographic Details
Corporate Authors: International SPIN Workshop Eindhoven, Netherlands, ETAPS (Conference)
Other Authors: Bošnački, Dragan, 1963- (Editor), Bošnački, Dragan, 1963- (Editor), Wijs, Anton (Editor)
Format: Conference Proceeding Book
Language:English
Published: Switzerland : Springer, 2016
Series:LNCS sublibrary Theoretical computer science and general issues.
Lecture notes in computer science ; 9641
Subjects:
SPIN (Computer file) > Congresses
SPIN (Computer file)
Computer software > Testing > Congresses
Computer software > Verification > Congresses
Software engineering > Congresses
Génie logiciel > Congrès
Logiciels > Vérification > Congrès
Computer programming > software development
Computer software > Testing
Computer software > Verification
Computers > Programming Languages > General
Computers > Programming > General
Computers > Software Development & Engineering > General
Mathematical theory of computation
Mathematics > Logic
Programming & scripting languages: general
Software Engineering
Software engineering
Electronic books
Conference papers and proceedings

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Stanford University

Holdings details from Stanford University
Call Number: INTERNET RESOURCE

Similar Items