Specification, algebra, and software essays dedicated to Kokichi Futatsugi /
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 le...
Saved in:
Other Authors: | Iida, Shusaku,, Meseguer, José,, Ogata, Kazuhiro,, Futatsugi, Kokichi,, SpringerLink (Online service) |
---|---|
Format: | eBook |
Language: | English |
Published: |
Heidelberg :
Springer,
2014.
|
Physical Description: |
1 online resource (XXII, 657 pages) : illustrations. |
Series: |
Lecture notes in computer science ;
8373. |
Subjects: |
In Prospector
Similar Items
-
Fields of logic and computation III : essays dedicated to Yuri Gurevich on the occasion of his 80th birthday
Published: (2020) -
Logic, computation and rigorous methods : essays dedicated to Egon Börger on the occasion of his 75th birthday
Published: (2021) -
Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings
Published: (2014) -
Fields of logic and computation II : essays dedicated to Yuri Gurevich on the occasion of his 75th birthday
Published: (2015) -
Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday
Published: (2012)