Dines Bjorner
Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series Dines Bjorner Softcover reprint of hardcover 1st ed. 2008 edition

Name: Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series
Price: 3206 MXN
Availability: OutOfStock
Author: Dines Bjorner

Precio

Mex$ 3.206

sin IVA

Pedido desde almacén remoto

Entrega prevista 18 de ago. - 3 de sep.

Recibe notificaciones sobre nuevos lanzamientos de Dines Bjorner

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

Aún no valorado

También disponible como:

Hardcover Book

2008 edition

(2007) Mex$ 3.206

Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series

Dines Bjorner

Softcover reprint of hardcover 1st ed. 2008 edition

This book presents comprehensive studies on nine specification languages and their logics of reasoning. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.

624 pages, black & white illustrations

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	22 de noviembre de 2010
ISBN13	9783642093456
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	624
Dimensiones	155 × 235 × 33 mm · 898 g
Lengua	Alemán
Editor	Bjorner, Dines
Editor	Henson, Martin C.