Specification, Algebra, and Software / Lecture Notes in Computer Science Bd.8373 (PDF)
Essays Dedicated to Kokichi Futatsugi
(Sprache: Englisch)
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...
sofort als Download lieferbar
eBook (pdf)
54.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Specification, Algebra, and Software / Lecture Notes in Computer Science Bd.8373 (PDF)“
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.
Bibliographische Angaben
- 2014, 2014, 657 Seiten, Englisch
- Herausgegeben: Shusaku Iida, José Meseguer, Kazuhiro Ogata
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3642546242
- ISBN-13: 9783642546242
- Erscheinungsdatum: 01.03.2014
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 12 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Specification, Algebra, and Software / Lecture Notes in Computer Science Bd.8373"
Schreiben Sie einen Kommentar zu "Specification, Algebra, and Software / Lecture Notes in Computer Science Bd.8373".
Kommentar verfassen