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.08

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: 41.08 GBP
Availability: InStock

Architecture & Microprocessors

It has never been this cheap. We have no record of a lower price.

£41 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

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

Historical

Generating forecast...

Price Distribution

Price distribution over 22 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £42 (21 days, 95.5%)

Price range: £41 - £42

Price levels: 2 different prices over 22 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

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)

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Leitz 310690195 A4 Board Lever Arch File Oblong - Black

Leitz 938971 A4 Project File - Assorted

Amazon Basics Premium XL Garment and Suit Bag - Black

Zarges 40564 Aluminium Case, K470, 550 mm x 350 mm x 380 mm

Esselte Premium Suspension Files for Filing Cabinet Opaque Pack of 10 30 mm Base Blue

Leitz Plus Series Magazine File A4 Pack of 6 for Portrait and Landscape Use Blue 24760035

ATX Luggage 48L Cabin Suitcase - 55x35x20cm Carry-On

ATX Luggage 48L Softshell Cabin Suitcase - 55x35x20cm

Leitz Plus 24760095 Magazine File Set of 6 Black

Amazon Basics Hard Shell Luggage Set (Small + Medium + Large) - Expandable ABS Travel Luggage with 4 Double Spinner Wheels - Scratch Resistant and Lightweight Construction - Burnt Orange

Amazon Basics Hardside Expandable Carry-on - ABS Travel Luggage with 4 Double Spinner Wheels - Scratch Resistant and Lightweight Construction - 37.5 x 25.5 x 55cm - Light Blue

Amazon Basics Hardside Expandable Luggage Set (Small + Medium + Large) - ABS Travel Luggage with 4 Double Spinner Wheels - Scratch Resistant and Lightweight Construction - Light Blue

B.A. Jazz [VINYL]

Leitz Plus 24760003 Magazine File A4 Pack of 6 Transparent

Exacompta - Ref 53084E - Prem'Touch PVC Lever Arch File - 320 x 290mm in Size, 2 Rings, Can Hold A4 Documents, 70mm Spine, 75mm Rings, FSC-Certified - Assorted Pastel Colours (Pack of 10)

Leitz A4 Magazine File, Frosty Red, Plus Range, 24760026

Amazon Basics Hard Shell Luggage Set (Small + Medium + Large) - Expandable ABS Travel Luggage with 4 Double Spinner Wheels - Scratch Resistant and Lightweight Construction - Navy Blue

SIGEL VZ115 Business Card pockets, clear, self-adhesive, 100 Pieces

ATX Luggage 21-Inch Cabin Suitcase - 33L Midnight Blue

Allit 457018 Professional Tool Case "Mcplus ALU 21" In Black

Amazon Basics 30L Casual School Backpack - Grey

Elba Class' N Go Classic + 5 A4 Suspension File with Indexing Jumper Grey Metal Case

Amazon Basics Tool Bag, Black & Grey, 16 inch /40.6cm

Amazon Basics Hard Shell Small Suitcase - Expandable ABS Hand Luggage with 4 Double Spinner Wheels - Scratch Resistant and Lightweight Construction - 55 x 37.5 x 25.5cm - Navy Blue