Compute!'s Atari Collection
Books Compute
₹2,661
Verified Software
Theories
by Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani
Springer · 2010
₹5,508
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
Verified Software: Theories by Gary T. Leavens, Peter O'Hearn & others is a 215-page book published by Springer in 2010. The book is part of the LNCS sublibrary: SL 2-programming and software engineering series.
Its main subjects are Programmverifikation, Formale Methode, Programmtest and Congresses. Places discussed include Edinburgh <2010>.
Book details
- ISBN-13
- 9783642150562
- ISBN-10
- 364215056X
- Authors
- Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani
- Publisher
- Springer
- Published
- 2010
- Series
- LNCS sublibrary: SL 2-programming and software engineering
- Pages
- 215
- Language
- English
- Condition
- New
- Subject
- Computer programs
More in Computer programs
SPSS for Windows
George A. Morgan, Orlando V. Griego, Gene W. Gloeckner
₹4,001
Audio Processes
David Creasey
₹2,903
Developing Search-Driven Applications with Sharepoint 2013
Johnny Tordgeman
₹3,770
A Step-by-Step Guide to SPSS for Sport and Exercise Studies
Nikos Ntoumanis
₹5,428
Customer Success with Microsoft Dynamics Sure Step
Chandru Shankar
₹3,735
Managing Mailing Lists
Alan Schwartz
₹4,129
UML for Developing Knowledge Management Systems
Anthony J. Rhem
₹7,476
Apache Cookbook
Rich Bowen, Ken A. L. Coar
₹4,119
Project 2010
Brandon Heffernan
₹4,076
Excel Gurus Gone Wild
Bill Jelen
₹2,693
Logic and Computation
Lawrence C. Paulson
₹2,686