Description: Specification, Algebra, and Software Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). Essays Dedicated to Kokichi Futatsugi Author(s): Shusaku Iida, Jose Meseguer, Kazuhiro Ogata Format: Paperback Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Germany Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K ISBN-13: 9783642546235, 978-3642546235 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.
Price: 39.47 GBP
Location: Aldershot
End Time: 2025-01-15T08:49:26.000Z
Shipping Cost: 27.92 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 60 days
Return policy details:
Book Title: Specification, Algebra, and Software
Number of Pages: 657 Pages
Language: English
Publication Name: Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi
Publisher: Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
Publication Year: 2014
Subject: Computer Science
Item Height: 235 mm
Type: Textbook
Author: Shusaku Iida, Kazuhiro Ogata, Jose Meseguer
Series: Theoretical Computer Science and General Issues
Item Width: 155 mm
Format: Paperback
