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
Online Access
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
VSTTE (Conference) (11th : 2019 : New York, N.Y.)
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
Chakraborty, Supratik.
Navas, Jorge A.
Navas, Jorge A.
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
Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources