Marijuana and Madness
Deepak D'Souza, David Castle, Robin Murray
₹5,887
Verification, Model Checking, and Abstract Interpretation
16th International Conference
by Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2015 · Paperback
₹4,248
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K in 2015, Verification, Model Checking, and Abstract Interpretation: 16th International Conference by Deepak D'Souza, Akash Lal & others runs to 468 pages in paperback.
The book deals with Computer programs, Computer science, Computer Communication Networks and Software engineering.
Book details
- ISBN-13
- 9783662460801
- ISBN-10
- 3662460807
- Authors
- Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen
- Published
- 2015
- Edition
- 2015 ed.
- Binding
- Paperback
- Pages
- 468
- Language
- English
- Condition
- New
More by Deepak D'Souza and related titles
Automated Technology for Verification and Analysis
Deepak D'Souza, K. Narayan Kumar
₹4,277
Software Composition
Sven Apel, Ethan Jackson
₹5,530
Software Engineering, Business Continuity, and Education
Tai-hoon Kim, Hojjat Adeli, Haeng-kon Kim
₹5,064
Testbeds and Research Infrastructures
Thomas Magedanz, Athanasius Gavras, Huu Thanh Nguyen
₹5,336
Petri Nets
Wolfgang Reisig
₹3,954
Passive and Active Measurement
Matthew Roughan
₹3,633
Resource Management for Device-to-Device Underlay Communication
Lingyang Song, Chen Xu, Zhu Han
₹3,199
Reliable Software Technologies - Ada-Europe 2011
Alexander Romanovsky, Tullio Vardanega
₹5,508
Computers and Networks in the Age of Globalization
Leif Bloch Rasmussen
₹15,371
Communication Protocol Specification and Verification
Richard Lai, Ajin Jirachiefpattana
₹15,400
Cyber Security and Privacy
Frances Cleary, Massimo Felici
₹4,204