close menu
Bookswagon-24x7 online bookstore
close menu
My Account
Gerard Holzmann

Gerard Holzmann

11 results found
List viewGrid view
Sort By:
2.
NASA Formal Methods36 %
No Review Yet
₹5,424
₹3,471
Binding:
Paperback
Release:
09 Apr 2015
Language:
English
Available
Ships within 14-16 Days Explain..
4.
Beyond Photography20 % NR
No Review Yet
₹5,599
₹4,479
Binding:
Paperback
Release:
01 Apr 1988
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
5.
SPIN Model Checker, TheNR
No Review Yet
₹5,207
Binding:
Paperback
Release:
13 Jun 2011
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
6.
Design And Validation Of Computer Protocols4 % NR
No Review Yet
₹7,439
₹7,131
Binding:
Paperback
Release:
01 Nov 1990
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
7.
NASA Formal Methods
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
13 Apr 2011
Out of Stock
Notify me when this book is in stockNotify Me
8.
Design and Validation of Computer Protocols
No Review Yet
₹3,101
Binding:
Paperback
Release:
/11/1990
Out of Stock
Notify me when this book is in stockNotify Me
9.
The SPIN Model Checker48 %
No Review Yet
₹5,697
₹2,962
Binding:
Hardback
Release:
18 Sep 2003
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
10.
Digital Darkroom Software34 % NR
No Review Yet
₹2,314
₹1,527
Binding:
Paperback
Release:
/01/1989
Out of Stock
Notify me when this book is in stockNotify Me
11.
Partial Order Methods in Verification32 % NR
No Review Yet
₹12,091
₹8,222
Binding:
Hardback
Release:
30 Apr 1997
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found
ASK VIDYA