Verification, model checking, and abstract interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings /

Verification, model checking, and abstract interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings /

Show other versions (2)

This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The pap...

Full description

Bibliographic Details
Corporate Author: VMCAI (Conference) Mumbai, India)
Other Authors: D'Souza, Deepak (Editor), DSouza, Deepak (Editor), Lal, Akash (Editor), Larsen, K. G (Kim G.), 1957- (Editor)
Format: Conference Proceeding Book
Language:English
Published: Heidelberg : Springer, 2014
Series:LNCS sublibrary Theoretical computer science and general issues.
Lecture notes in computer science ; 8931
Lecture notes in computer science Advanced research in computing and software science.
Subjects:
Computer software > Verification > Congresses
Software engineering > Congresses
Computer software > Verification
Software engineering
Computation by Abstract Devices
Computer Communication Networks
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering
computational science
computer networks
computer sciences
computernetwerken
computerwetenschappen
logic
logica
mathematics
programmeertalen
programming languages
software engineering
wiskunde
Informatie- en communicatietechnologie (algemeen)
Information and Communication Technology (General)
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