Verification, Model Checking, and Abstract Interpretation [electronic resource] : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / edited by Kenneth L. McMillan, Xavier Rival.
Material type:
TextLanguage: English Series: Lecture Notes in Computer Science ; 8318Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014.Description: 1 online resource (XVIII, 493 p. 120 ill.)ISBN: - 9783642540134
Contents:
Program verification -- Model checking -- Abstract interpretation and abstract domains -- Program synthesis -- Static analysis -- Type systems -- Deductive methods -- Program certification -- Debugging techniques -- Program transformation -- Optimization -- Hybrid and cyber-physical systems.
| Item type | Current library | Call number | Materials specified | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
Books
|
National Library of India | Available | EBK000024732ENG |
Total holds: 0
Program verification -- Model checking -- Abstract interpretation and abstract domains -- Program synthesis -- Static analysis -- Type systems -- Deductive methods -- Program certification -- Debugging techniques -- Program transformation -- Optimization -- Hybrid and cyber-physical systems.
There are no comments on this title.
Log in to your account to post a comment.
