Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, june 5-8, 2018, proceedings /

Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, june 5-8, 2018, proceedings /

Bibliographic Details
Corporate Author: ABZ (Conference)
Other Authors: Butler, Michael 1967- (Editor/a), Raschke, Alexander (Editor/a), Hoang, Thai Son (Editor/a), Reichl, Klaus (Editor/a)
Format: Conference Proceeding Article
Language:English
Published: Cham, Switzerland : Springer, c2018.
Series:Lecture notes in computer science 10817
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