La Milano

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

FORMAL METHODS IN ARTIFICIAL INTELLIGENCE (CAMBRIDGE By Allan M. Ramsay **Mint**
FORMAL METHODS IN ARTIFICIAL INTELLIGENCE (CAMBRIDGE By Allan M. Ramsay **Mint**

$25.49

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

$59.58

View Details
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the F 5161
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the F 5161

$43.20

View Details
Mathematical Methods For Physicists And Engineers: Second Corrected Edition
Mathematical Methods For Physicists And Engineers: Second Corrected Edition

$18.60

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

$59.58

View Details
Formal Models of Domestic Politics (Analytical Methods for Social Research) by
Formal Models of Domestic Politics (Analytical Methods for Social Research) by

$36.07

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

$9.12

View Details
Formal Methods & Software Engineering 20th International Conference on Formal
Formal Methods & Software Engineering 20th International Conference on Formal

$34.99

View Details
Casework in K-6 Writing Instruction: Connecting Composing Strategies, Digital...
Casework in K-6 Writing Instruction: Connecting Composing Strategies, Digital...

$9.70

View Details
Formal Methods for Nonmonotonic and Related Logics: Vol II: Theory Revision...
Formal Methods for Nonmonotonic and Related Logics: Vol II: Theory Revision...

$103.74

View Details