Verified software : theories, tools, and experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised selected papers / Supratik Chakraborty, Jorge A. Navas, editors.
2020
QA76.76.V47
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Verified software : theories, tools, and experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised selected papers / Supratik Chakraborty, Jorge A. Navas, editors.
Meeting Name
ISBN
9783030416003 (electronic book)
3030416003 (electronic book)
9783030415990
3030416003 (electronic book)
9783030415990
Publication Details
Cham : Springer, 2020.
Language
English
Description
1 online resource (208 pages)
Call Number
QA76.76.V47
Dewey Decimal Classification
005.1/4
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Added Author
Series
Lecture notes in computer science ; 12031.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Available in Other Form
Linked Resources
Record Appears in