yamine ait ameur
Formal Methods and Software Engineering
EbookSofort lieferbarThis book constitutes the proceedings of the 21st International Conference on Formal Engineering ...
ABZ 2014: The Landing Gear Case Study
EbookSofort lieferbarThis volume contains proceedings of the Case Study Track, held at the 4th International Conferenc...
Abstract State Machines, Alloy, B, TLA, VDM, and Z
EbookSofort lieferbarThis book constitutes the thoroughly refereed proceedings of the 4th International Conference on ...
Model and Data Engineering
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 4th International Conference on Model and D...
Model and Data Engineering
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 6th International Conference on Model and D...
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
EbookSofort lieferbarThis book addresses mechanisms for reducing model heterogeneity induced by the absence of explici...
Theoretical Aspects of Software Engineering
EbookSofort lieferbarThis book constitutes the proceedings of the 16th International Conference on Theoretical Aspects...
Engineering of Complex Computer Systems
EbookSofort lieferbarThis book constitutes of the proceedings from the 28th International Conference on Engineering of...
Abstract State Machines, Alloy, B, TLA, VDM, and Z
TaschenbuchBezug 11-15This book constitutes the thoroughly refereed proceedings of the 4th International Conference on ...
ABZ 2014: The Landing Gear Case Study
TaschenbuchBezug 11-15This volume contains proceedings of the Case Study Track, held at the 4th International Conferenc...
Model and Data Engineering
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the 4th International Conference on Model and D...
Model and Data Engineering
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the 6th International Conference on Model an...
- 1
- 2