Stock image for illustration purposes only - book cover, edition or condition may vary.
Specification, Algebra, and Software
. Ed(S): Meseguer, Jose; Iida, Shusaku; Ogata, Kazuhiro
€ 67.00
FREE Delivery in Ireland
Description for Specification, Algebra, and Software
Paperback. Editor(s): Meseguer, Jose; Iida, Shusaku; Ogata, Kazuhiro. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 679 pages, 115 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 35. Weight in Grams: 1027.
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. ... Read more
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. ... Read more
Product Details
Format
Paperback
Publication date
2014
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
679
Condition
New
Series
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Number of Pages
657
Place of Publication
Berlin, Germany
ISBN
9783642546235
SKU
V9783642546235
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Specification, Algebra, and Software