Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi (2014) (Lecture Notes in Computer Science #8373)
By: and and
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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.
- Copyright:
- 2014
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783642546242
- Related ISBNs:
- 9783642546235
- Publisher:
- Springer Berlin Heidelberg
- Date of Addition:
- 10/03/19
- Copyrighted By:
- N/A
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet, Mathematics and Statistics, Philosophy
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Shusaku Iida
- Edited by:
- José Meseguer
- Edited by:
- Kazuhiro Ogata
Reviews
Other Books
- by Shusaku Iida
- by José Meseguer
- by Kazuhiro Ogata
- in Nonfiction
- in Computers and Internet
- in Mathematics and Statistics
- in Philosophy