Enlarge

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, proceedings

Publication Data

Title Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, proceedings
Contributors Deepak D'Souza, Akash Lal, K. G. Larsen
Publisher Springer
Publication date 2015
Publication location Heidelberg
Language English

Topics

Computer programs :: Verification :: Congresses

Catalogue Data

OBNB ID GBB511327
ISBN 10 3662460807
ISBN 13 9783662460801
Type BibliographicResource, Book
Dewey Classification 005.14

ISBD

P1008>1st 1st edition
P1053 xviii, 466 pages
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, proceedings. ISBN 9783662460801. Published by Springer in 2015. Publication and catalogue information, links to buy online and reader comments.