Verification, model checking, and abstract interpretation: 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings
Saved in:
Bibliographic Details
Corporate Author: VMCAI 2010 <2010, Madrid, Spain> (Author)
Format: Electronic eBook
Language:English
Published: Berlin Springer c2010
Series:Lecture notes in computer science 5944
LNCS sublibrary
Subjects:
Online Access:Volltext
Item Description:Includes bibliographical references and index
Physical Description:1 Online-Ressource (x, 395 p.)
ISBN:3642113184
9783642113192
3642113192
9781280385414

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text