Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Specification, Algebra, and Software

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

Essays Dedicated to Kokichi Futatsugi

Shusaku Iida

José Meseguer

Kazuhiro Ogata

Language

English

Book Paperback

Libristo code: 02483162

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, February 2014

This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions... Full description

Libristo code: 02483162

125 b

51.69 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Funko POP Games: Pokémon - Eevee

Toy

21.64 €

Atlas Der Reontgenologischen Messmethoden Kurt Fochem

Paperback

53.11 €

Modellierung kinetisch kontrollierter, turbulenter Flammen fur Magerbrennkonzepte Matthias Kern

Paperback

43.80 €

Kommunikation des Herzens Rahasya Fritjof Kraft

Hardback

12.74 €

Erinnerungen eines Zeitzeugen Alexander Muth

Paperback

20.33 €

Besteuerung von verheirateten Paaren in Deutschland Marco Theiling

Paperback

17.09 €

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.