Location & Availability for: ABZ 2014 : the landing gear case study :

 Staff view

You must be logged in to Tag Records

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 /

Frédéric Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe (eds.).

Book Cover
Names: Boniol, Frederic,
Published: Cham : Springer, 2014.
Series: Communications in computer and information science ; 433.
Topics: Computer Science. | Logics and Meanings of Programs. | Mathematical Logic and Formal Languages. | Computation by Abstract Devices. | Simulation and Modeling. | Machine theory - Congresses. | Formal methods (Computer science) - Congresses. | Landing gear - Computer simulation - Congresses. | B method (Computer science) - Congresses. | Z (Computer program language) - Congresses.
Genres: Electronic books.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: ABZ 2014 : the landing gear case study :