Opening book details…
Can I read Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi (Lecture Notes in Computer Science (8373)) on EtoBox?
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi (Lecture Notes in Computer Science (8373)) by Shusaku Iida, José Meseguer, Kazuhiro Ogata (eds.) is a nonfiction available to read on EtoBox.
What is Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi (Lecture Notes in Computer Science (8373)) about?
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. Erscheinungsdatum: 25.02.2014
Who reads Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi (Lecture Notes in Computer Science (8373))?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Shusaku Iida, José Meseguer, Kazuhiro Ogata (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2014
- Language
- EN
- ISBN
- 9789812816108
- Category
- nonfiction
- Subjects
- Mathematics, Engineering, Science
Other editions & translations
More by Shusaku Iida, José Meseguer, Kazuhiro Ogata (eds.)
Browse all works by Shusaku Iida, José Meseguer, Kazuhiro Ogata (eds.)
Similar books
- Rigorous Methods For Software Construction And Analysis: Essays Dedicated To Egon Börger On The Occasion Of His 60th Birthday (lecture Notes In Computer Science) — Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (2009)
- Semantics And Algebraic Specification: Essays Dedicated To Peter D. Mosses On The Occasion Of His 60th Birthday (lecture Notes In Computer Science / Theoretical Computer Science And General Issues) — Jens Palsberg (auth.) (2009)
- Foundations Of Security, Protocols, And Equational Reasoning: Essays Dedicated To Catherine A. Meadows (lecture Notes In Computer Science) — Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic, (2019)
- Modeled, Tested, Trusted: Essays Dedicated To Ed Brinksma On The Occasion Of His 60th Birthday (lecture Notes In Computer Science) — Joost-Pieter Katoen,Rom Langerak,Arend Rensink (2017)
- Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (Lecture Notes in Computer Science, 2300) — Jean Berstel, Luc Boasson (auth.), Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto Salomaa (2002)
- Algebraic System Specification and Development: A Survey and Annotated Bibliography (Lecture Notes in Computer Science) — Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella (1991)