sriram k. rajamani author - Books - 24x7 online bookstore Bookswagon.com

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Sriram K. Rajamani

4 results found

Sort By:

37 %

Model Checking Software

By: Sriram K. Rajamani, Thomas Ball, Sriram K Rajamani

Publisher: Springer

No Review Yet

₹4,800

₹3,024

Binding:	Paperback
Release:	28 Apr 2003
Language:	English

Available

Ships within 12-14 Days Explain..

37 %

Computer Aided Verification

By: Kousha Etessami, Sriram K. Rajamani, Sriram K Rajamani

Publisher: Springer

No Review Yet

₹9,600

₹6,048

Binding:	Paperback
Release:	24 Jun 2005
Language:	English

Available

Ships within 12-14 Days Explain..

2 % NR

Model Checking Software

By: Ball Thomas Ball, Rajamani Sriram K. Rajamani

Publisher: Springer Nature B.V.

No Review Yet

₹4,339

₹4,252

Binding:	Paperback
Release:	12 Mar 2014
Language:	English

International Edition

Ships within 14-16 Days Explain..

Free Shipping in India and low cost Worldwide.

Verified Software: Theories, Tools, Experiments

By: Gary T. Leavens, Sriram K. Rajamani, Peter W. O'Hearn, Peter O'Hearn, Sriram K. (Microsoft Research) Rajamani

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

₹4,998

Binding:	Paperback
Release:	05 Aug 2010
Language:	English

International Edition

Ships within 12-14 Days Explain..

Free Shipping in India and low cost Worldwide.

No more records found