Cane Creek

Formal Methods For Industrial Critical Systems: A Survey Of Applications

Description: Please refer to the section BELOW (and NOT ABOVE) this line for the product details - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Title:Formal Methods For Industrial Critical Systems: A Survey Of ApplicationsISBN13:9780470876183ISBN10:0470876182Author:Gnesi, Stefania (Author), Margaria, Tiziana (Author)Description: Binding:Paperback, PaperbackPublisher:Wiley-IEEE Computer Society PRPublication Date:2012-12-17Weight:1.1 lbsDimensions:0.8'' H x 9.1'' L x 6'' WNumber of Pages:292Language:English

Price: 104.45 USD

Location: USA

End Time: 2025-01-23T16:39:04.000Z

Shipping Cost: 0 USD

Product Images

Formal Methods For Industrial Critical Systems: A Survey Of Applications

Item Specifics

Return shipping will be paid by: Buyer

All returns accepted: Returns Accepted

Item must be returned within: 30 Days

Refund will be given as: Money Back

Return policy details:

Book Title: Formal Methods For Industrial Critical Systems: A Survey Of ...

Item Length: 9.3in

Item Height: 0.7in

Item Width: 6.1in

Author: Tiziana Margaria, Stefania Gnesi

Publication Name: Formal Methods for Industrial Critical Systems : a Survey of Applications

Format: Trade Paperback

Language: English

Publisher: Wiley & Sons, Incorporated, John

Publication Year: 2012

Type: Textbook

Item Weight: 17.8 Oz

Number of Pages: 292 Pages

Recommended

Z: An Introduction to Formal Methods by Diller, Antoni
Z: An Introduction to Formal Methods by Diller, Antoni

$13.00

View Details
Applications Of Formal Methods by Bowen, Hinchey (Hardcover, 1995)
Applications Of Formal Methods by Bowen, Hinchey (Hardcover, 1995)

$5.16

View Details
Formal Methods in Artificial Intelligence by Ramsay, Allan M.
Formal Methods in Artificial Intelligence by Ramsay, Allan M.

$11.71

View Details
Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF
Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF

$66.90

View Details
Software Engineering and Formal Methods: 19th International Conference
Software Engineering and Formal Methods: 19th International Conference

$33.81

View Details
Statistical Inference by George Casella Hardcover Book
Statistical Inference by George Casella Hardcover Book

$96.45

View Details
Success in Seminars and Tutorials: A Guide for Social Science Students, , Obhi,
Success in Seminars and Tutorials: A Guide for Social Science Students, , Obhi,

$9.75

View Details
Verification Of Reactive Systems: Formal Methods And Algorithms
Verification Of Reactive Systems: Formal Methods And Algorithms

$59.58

View Details
FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFICATION By Franta - Hardcover
FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFICATION By Franta - Hardcover

$49.49

View Details
Leveraging Applications Of Formal Methods, Verification And Validation: Dis...
Leveraging Applications Of Formal Methods, Verification And Validation: Dis...

$60.26

View Details