4.0%OFF
Download App
4.0%OFF
Industrial-Strength Formal Methods in Practice illustrated edition Edition
-
ISBN
:
9781852336400
-
Publisher
:
Springer
-
Subject
:
Others
-
Binding
:
Paperback
-
Year
:
1999
₹
16122.0
4.0% OFF
₹
15477.0
15477.0
Buy Now
Shipping charges are applicable for books below Rs. 101.0
View Details(Imported Edition) Estimated Shipping Time : 25-28 Business Days
View Details
-
Description
This text provides guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter contains background information, introductions to the techniques being used, fragments of formalized components, details of results and an analysis of the overall approach.
Related Items
-
of
-
OFFER
Concurrent Systems (McGraw-Hill International Series in Software Engineering)
Michael G. Hinchey
Starts At
2934.0
3412.0
14% OFF
-
OFFER
Zum '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
Jonathan P. Bowen
Starts At
9744.0
10151.0
4% OFF
-
OFFER
Zb 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proc
A. Galloway
Starts At
10563.0
11004.0
4% OFF
-
OFFER
Zb 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceed 1st Edition
D. Bert
Starts At
10563.0
11004.0
4% OFF
-
OFFER
Z User Workshop: Proceedings of the Eighth Z User Meeting, Cambridge, 29-30 June 1994
Bowen
Starts At
8461.0
9298.0
9% OFF
