Search

You searched for: Auteur Yamine Ait Ameur, Klaus-Dieter Schewe Remove constraint Auteur: Yamine Ait Ameur, Klaus-Dieter Schewe
1 - 2 of 2
Number of results to display per page

Search Results

1. Abstract State Machines, Alloy, B, TLA, VDM, and Z
thumbnail
Full text!
Author:
Yamine Ait Ameur, Klaus-Dieter Schewe; Schewe, Klaus-Dieter
Publisher:
Springer Berlin Heidelberg 2014
Format:
e-book
2. ABZ 2014: The Landing Gear Case Study
thumbnail
Full text!
Author:
Frédéric Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe; Ait Ameur, Yamine; Schewe, Klaus-Dieter; Wiels, Virginie
Publisher:
Springer International Publishing 2014
Format:
e-book