1/1
Using Event-B for Critical Device Software Systems
Autor/Editor: Singh, Neeraj Kumar
Año de edición: 2013
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Mathematical Logic and Formal Languages - Software Engineering - Health Informatics - Simulation and Modeling - Programming Techniques
Tipo de documento: Monografía
Editor: Springer London
ISBN-e: 978-1-4471-5260-6