Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, proceedings /

Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, proceedings /

Bibliographic Details
Corporate Author: ABZ (Conference)
Other Authors: Butler, Michael 1967- (Editor/a), Schewe, Klaus-Dieter (Editor/a), Mashkoor, Atif (Editor/a), Biro, Miklos (Editor/a)
Format: Conference Proceeding Book
Language:English
Published: Switzerland : Springer, c2016.
Series:Lecture notes in computer science 9675
Subjects:
TEORIA DE LAS MAQUINAS > CONGRESOS
TEORIA DEL APRENDIZAJE COMPUTACIONAL
MÉTODO B (COMPUTADORAS)
Z (LENGUAJE DE PROGRAMACION) > CONGRESOS
INGENIERÍA DE PROGRAMAS PARA COMPUTADORA
LENGUAJES DE PROGRAMACION (COMPUTADORAS ELECTRONICAS)
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