Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / María del Mar Gallardo, Pedro Merino (eds.).
2018
QA76.76.V47
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / María del Mar Gallardo, Pedro Merino (eds.).
ISBN
9783319941110 (electronic book)
3319941119 (electronic book)
9783319941103
3319941119 (electronic book)
9783319941103
Published
Cham, Switzerland : Springer, 2018.
Language
English
Description
1 online resource (xvi, 347 pages) : illustrations.
Item Number
10.1007/978-3-319-94111-0 doi
Call Number
QA76.76.V47
Dewey Decimal Classification
005.1/4
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed June 20, 2018).
Series
Lecture notes in computer science ; 10869. 0302-9743
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources