Orna Grumberg

Orna Grumberg

8 results found
List viewGrid view
Sort By:
1.
Model Checking13 % NR
Publisher: Mit Press
No Review Yet
₹6,375
₹5,546
Binding:
Hardback
Release:
04 Dec 2018
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in India and low cost Worldwide.
2.
Model Checking38 %
Publisher: Mit Press
No Review Yet
₹6,563
₹4,069
Binding:
Hardback
Release:
20 Dec 1999
Language:
English
Available
Ships within 4-6 Days Explain..
3.
Languages: From Formal to Natural37 %
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
12 May 2009
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Tools and Algorithms for the Construction and Analysis of Systems37 %
Publisher: Springer
No Review Yet
₹9,600
₹6,048
Binding:
Paperback
Release:
09 Mar 2007
Language:
English
Available
Ships within 12-14 Days Explain..
5.
25 Years of Model Checking37 %
No Review Yet
₹3,360
₹2,117
Binding:
Paperback
Release:
17 Jun 2008
Language:
English
Available
Ships within 12-14 Days Explain..
7.
DEPENDABLE SOFTWARE SYSTEMS ENGINEERING3 % NR
Publisher: IOS Press
No Review Yet
₹10,925
₹10,551
Binding:
Hardcover
Release:
30 Apr 2016
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
8.
Software Safety and Security1 % NR
Publisher: Ios Pr Inc
No Review Yet
₹10,925
₹10,779
Binding:
HARDCOVER
Release:
15 Jun 2012
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found