Abstract state machines, B and Z : First International Conference, ABZ 2008, London, UK, september 16-18, 2008, proceedings /

Abstract state machines, B and Z : First International Conference, ABZ 2008, London, UK, september 16-18, 2008, proceedings /

Bibliographic Details
Corporate Author: ABZ (Conference)
Other Authors: Borger, Egon 1946- (Editor/a), Butler, Michael 1967- (Editor/a), Bowen, Jonathan Peter 1956- (Editor/a), Boca, Paul (Editor/a)
Format: Conference Proceeding Book
Language:English
Published: Berlín : Springer, c2008.
Series:Lecture notes in computer science 5238
Subjects:
TEORIA DE LAS MAQUINAS > CONGRESOS
TEORIA DEL APRENDIZAJE COMPUTACIONAL
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