Abstract state machines, Alloy, B and Z : second international conference, ABZ 2010, Orford, QC, Canada, february 22-25, 2010 : proceedings /

Abstract state machines, Alloy, B and Z : second international conference, ABZ 2010, Orford, QC, Canada, february 22-25, 2010 : proceedings /

Bibliographic Details
Corporate Author: ABZ (Conference)
Other Authors: Frappier, Marc 1965- (Editor/a), Glässer, Uwe 1959- (Editor/a), Khurshid, Sarfraz (Editor/a), Laleau, Régine (Editor/a), Reeves, Steven Victor 1957- (Editor/a)
Format: Conference Proceeding Book
Language:English
Published: Berlín : Springer, c2010.
Series:Lecture notes in computer science 5977
Subjects:
TEORIA DE LAS MAQUINAS > CONGRESOS
APRENDIZAJE POR MAQUINAS > CONGRESOS
MÉTODO B (COMPUTADORAS)
Z (LENGUAJE DE PROGRAMACION) > CONGRESOS
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: 004
Copy Available

Similar Items