Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Verified Software

Verified Software

Theories

by Rajeev Joshi, Peter Müller, Andreas Podelski

Springer · 2012

₹5,559

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 is written by Rajeev Joshi, Peter Müller & others. This edition from Springer (2012).

Topics covered include Computer programs.

Book details

ISBN-13
9783642277047
ISBN-10
3642277047
Authors
Rajeev Joshi, Peter Müller, Andreas Podelski
Publisher
Springer
Published
2012
Language
English
Condition
New

More in Computer programs

See all