Specification, Algebra, and Software

Name: Specification, Algebra, and Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642546235
Price: 214.72 PLN
Availability: InStock

Essays Dedicated to Kokichi Futatsugi

Autor: Shusaku Iida, José Meseguer, Kazuhiro Ogata

Język:

Oprawa: Miękka

Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

214.72 zł

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

Informacje o książce

Autor

Shusaku Iida, José Meseguer, Kazuhiro Ogata

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2014

strony

657

EAN

9783642546235

ISBN

3642546234

Enbook ID

02483162

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

1013

Wymiary

155 x 235 x 36

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Specification, Algebra, and Software

Essays Dedicated to Kokichi Futatsugi

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również