|
Books > Computing & IT > Computer programming
|
Buy Now
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Paperback, 2014 ed.)
Loot Price: R2,428
Discovery Miles 24 280
|
|
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Paperback, 2014 ed.)
Series: Lecture Notes in Computer Science, 8477
Expected to ship within 10 - 15 working days
|
This book constitutes the thoroughly refereed proceedings of the
4th International Conference on Abstract State Machines, B, TLA,
VDM and Z, which took place in Toulouse, France, in June 2014. The
13 full papers presented together with 3 invited talks and 19 short
papers were carefully reviewed and selected from 81 submissions.
The ABZ conference series is dedicated to the cross-fertilization
of six related state-based and machine-based formal methods:
Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z. They share
a common conceptual foundation and are widely used in both academia
and industry for the design and analysis of hardware and software
systems. The main goal of this conference series is to contribute
to the integration of these formal methods, clarifying their
commonalities and differences to better understand how to combine
different approaches for accomplishing the various tasks in
modeling, experimental validation and mathematical verification of
reliable high-quality hardware/software systems.
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..
|
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
