Theory and practice of formal methods: essays dedicated to Frank de Boer on the occasion of his 60th birthday

Detalles Bibliográficos
Autores principales: Ábrahám, Erika, Bonsangue, Marcello, Johnsen, Einar Broch
Lenguaje:eng
Publicado: Springer International Publishing AG 2016
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2761340
Descripción
Descripción no disponible.

Ejemplares similares