Specification, Algebra, and Software
Format: Paperback
ISBN13: 9783642546235
Paperback|9783642546235
✨ Featured Offer
Brand New
$58.73
List Price: $54.99
🚚
See all 2 offers from $58.73 FREE standard delivery by: 01 Apr 2026
Overview
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.
| ISBN-13 | 9783642546235 |
|---|---|
| ISBN-10 | 3642546234 |
| Weight | 2.10 Pounds |
| Dimensions | 6.00 x 1.50 x 9.00 In |
| List Price | $54.99 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | xxii, 657 pages |
| Publisher | Springer |
| Published On | 2014-02-25 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Contains: Illustrations, black & white. Theoretical Computer Science and General Issues ; Lecture ...
Free delivery by: 01 Apr 2026
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 01 Apr 2026