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 /

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 /

Bibliographic Details
Other Authors: Boniol, Frédéric (Editor/a), Wiels, Virginie (Editor/a), Ait Ameur, Yamine (Editor/a), Schewe, Klaus-Dieter (Editor/a)
Format: Book
Language:English
Published: Cham : Springer, c2014.
Series:Communications in Computer and Information Science 433
Subjects:
LÓGICA INFORMÁTICA
LÓGICA, SIMBÓLICA Y MATEMÁTICA
TEORÍA DE LAS MÁQUINAS > SIMULACIÓN POR COMPUTADORA
Online Access:Ver documento en línea

Internet

Ver documento en línea

Sistema de Bibliotecas de Universidad de Costa Rica

Holdings details from Sistema de Bibliotecas de Universidad de Costa Rica
Call Number: 005.101.511.3
Copy Available

Similar Items