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: R2,046
Discovery Miles 20 460
|
|
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.)
Series: Communications in Computer and Information Science, 433
Expected to ship within 10 - 15 working days
|
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
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|