Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
Author:   Yamine Ait Ameur ,  Klaus-Dieter Schewe
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Edition:   2014 ed.
Volume:   8477
ISBN:  

9783662436516


Pages:   336
Publication Date:   21 May 2014
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $145.17 Quantity:  
Add to Cart

Share |

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings


Add your own review!

Overview

Full Product Details

Author:   Yamine Ait Ameur ,  Klaus-Dieter Schewe
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2014 ed.
Volume:   8477
Dimensions:   Width: 15.50cm , Height: 1.90cm , Length: 23.50cm
Weight:   5.329kg
ISBN:  

9783662436516


ISBN 10:   3662436515
Pages:   336
Publication Date:   21 May 2014
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Fundamental contributions.- Applications in industrial contexts.- Tool developments and improvements.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now