ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings
Checking for file health...
Author:Frédéric Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe (eds.)
Language:English
Release year:2014
File size:7.063 MB
Number of page:171
Language:English
Release year:2014
File size:7.063 MB
Number of page:171
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
Similar
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
