ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and ... in Computer and Information Science, 433) - Image 1

£41.71

Springer ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and ... in Computer and Information Science, 433)

Name: ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and ... in Computer and Information Science, 433)
Brand: Springer
Price: 39.17 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 73 days • 73 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 73 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £40 (54 days, 74.0%)

Price range: £39 - £42

Price levels: 3 different prices over 73 days

Description

This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 331907511X
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Publication Date: 26 May 2014
Listed Since: 02 May 2014

Barcode

No barcode data available