Kniha Specification, Algebra, and Software Shusaku Iida

Specification, Algebra, and Software

Essays Dedicated to Kokichi Futatsugi

Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2014
Stránek
657
EAN
9783642546235
ISBN
3642546234
Enbook ID
02483162
Hmotnost
1013
Rozměry
155 x 235 x 36

Kompletní popis

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.

Mohlo by vás zajímat

Whispered Music

Rachel Van Dyken
330
431

Photocatalysis

Dionysios D. Dionysiou
5 605

Why I Wake Early

Mary Oliver
429
369
1 230
153

Welkei Collens

Collins Wilkie
559
789
266
1 096

Zákaznicí kteří koupili tuto knihu koupili také

Kommunikation des Herzens

Rahasya Fritjof Kraft
281
449