Ts&Cs apply
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi - Lecture Notes in Computer Science 8373 (Paperback)
  • Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi - Lecture Notes in Computer Science 8373 (Paperback)
zoom

Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi - Lecture Notes in Computer Science 8373 (Paperback)

(editor), (editor), (editor)
£69.99
Paperback 657 Pages / Published: 25/02/2014
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642546235
Number of pages: 657
Weight: 1027 g
Dimensions: 235 x 155 x 35 mm
Edition: 2014 ed.

You may also be interested in...

Python For Dummies
Added to basket
£22.99
Paperback
C Programming Absolute Beginner's Guide
Added to basket
Think Like A Programmer
Added to basket
Unity for Absolute Beginners
Added to basket
How to Build a Billion Dollar App
Added to basket
Coding for Beginners in easy steps
Added to basket
Clean Coder, The
Added to basket
£33.49
Paperback
Learning Python
Added to basket
£59.99
Paperback
C++ For Dummies
Added to basket
£21.99
Paperback
Designing Data-Intensive Applications
Added to basket
Algorithms Unlocked
Added to basket
Impact Mapping
Added to basket
£24.99
Paperback
Clean Code
Added to basket
£38.99
Paperback
The Book Of Ruby
Added to basket
JavaScript and JQuery
Added to basket
Coding with JavaScript For Dummies
Added to basket

Please sign in to write a review

Your review has been submitted successfully.