Logics of specification languages /

Guardado en:
Otros Autores: Bjørner, D. 1937-, Henson, Martin C.
Formato: Libro
Idioma:English
Publicado: Berlin : Springer, c2008.
Series:Monographs in theoretical computer science
Materias:
Acceso en línea:Publisher description
Table of contents only
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
descripción de la copia:Incluye índices in each chapter.
Descripción Física:XXI, 623 p. : il. ; 25 cm.
Bibliografía:Incluye referencias bibliográficas.
ISBN:9783540741077 (e-ISBN)
9783540741060