Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming

Buy Now

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 Z, Toulouse, France, June 2-6, 2014, Proceedings (Paperback, 2014 ed.) Loot Price: R1,975

Discovery Miles 19 750

Repayment Terms: R185 pm x 12*

Add to cart

ABZ 2014: The Landing Gear Case Study - Case Study Track, Held at the 4th International Conference on Abstract State Machines,...

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 Z, Toulouse, France, June 2-6, 2014, Proceedings (Paperback, 2014 ed.)

Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe

Series: Communications in Computer and Information Science, 433

(sign in to rate)

Loot Price R1,975 Discovery Miles 19 750 | Repayment Terms: R185 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer International Publishing AG
Country of origin:	Switzerland
Series:	Communications in Computer and Information Science, 433
Release date:	May 2014
First published:	2014
Editors:	Frederic Boniol • Virginie Wiels • Yamine Ait Ameur • Klaus-Dieter Schewe
Dimensions:	235 x 155 x 10mm (L x W x T)
Format:	Paperback
Pages:	161
Edition:	2014 ed.
ISBN-13:	978-3-319-07511-2
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > General Books > Computing & IT > Applications of computing > Computer modelling & simulation Promotions
LSN:	3-319-07511-X
Barcode:	9783319075112