Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi
(Bog, Paperback / softback, Engelsk)
Beskrivelse
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 2014 ed. |
| Udgivelsesdato | 25-02-2014 |
| Første udgivelsesår | 2014 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 115 Illustrations, black and white |
| Fagredaktør | Shusaku Iida, Jose Meseguer, Kazuhiro Ogata |
| Originalsprog | Germany |
| Sideantal | 657 |
| Indbinding | Paperback / softback |
| Forlag | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Sideoplysninger | 657 pages, 115 Illustrations, black and white |
| Mål | 234 x 159 x 38 |
| ISBN-13 / EAN-13 | 9783642546235 |