Zoeken

U zocht naar: Auteur Yamine Ait Ameur, Klaus-Dieter Schewe Filter Auteur: Yamine Ait Ameur, Klaus-Dieter Schewe weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

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