Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 5.49 € Mensajería GLS 8.49 € Mensajería Correos 5.99 € Mensajería DHL 5.99 € Punto SEUR 4.49 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Specification, Algebra, and Software

Name: Specification, Algebra, and Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02483162
Price: 56.59 EUR
Availability: InStock
Author: Shusaku Iida
ISBN: 9783642546235

Essays Dedicated to Kokichi Futatsugi

Shusaku Iida

José Meseguer

Kazuhiro Ogata

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 02483162

Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, febrero 2014

This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions... Descripción completa

Código Libristo: 02483162

138 b

56.59 €

Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Idris: Ein Heroisch-Comisches Gedict (1768) Christoph Martin Wieland

Tapa blanda

33.69 €

Funko POP Games: Pokémon - Eevee

Juguete

19.59 €

Gezurra berdaderoa ARRIETA KORTAJARENA

Tapa blanda

28.69 €

Chemist n.44: Ekonomik Özgürlükler ülkesi: Şili Ikmib

Tapa blanda

11.49 €

Joseph Jakob Plenk's, Der Wundarzneykunst Doktors ... Lehre Von Den Venerischen Krankheiten Joseph Jacob Plenck

Tapa blanda

23.19 €

Atlas Der Reontgenologischen Messmethoden Kurt Fochem

Tapa blanda

58.19 €

Modellierung kinetisch kontrollierter, turbulenter Flammen fur Magerbrennkonzepte Matthias Kern

Tapa blanda

48.29 €

Kommunikation des Herzens Rahasya Fritjof Kraft

Tapa dura

14.20 €

Erinnerungen eines Zeitzeugen Alexander Muth

Tapa blanda

22.39 €

Besteuerung von verheirateten Paaren in Deutschland Marco Theiling

Tapa blanda

18.79 €

This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi is one of the founding fathers of the field of algebraic specification and verification and is a leading researcher in formal methods and software engineering. He has pioneered and advanced novel algebraic methods and languages supporting them such as OBJ and CafeOBJ and has worked tirelessly over the years to bring such methods and tools in contact with software engineering practice. This volume contains contributions from internationally leading researchers in formal methods and software engineering.