Algebraic Foundations of Systems Specification - IFIP State-of-the-Art Reports (Paperback)
  • Algebraic Foundations of Systems Specification - IFIP State-of-the-Art Reports (Paperback)
zoom

Algebraic Foundations of Systems Specification - IFIP State-of-the-Art Reports (Paperback)

(editor), (editor), (editor)
£74.99
Paperback 616 Pages / Published: 21/10/2011
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundations of system specification. The contributions cover and survey active topics and recent advances, and address such subjects as: the role of formal specification, algebraic preliminaries, partiality, institutions, specification semantics, structuring, refinement, specification languages, term rewriting, deduction and proof systems, object specification, concurrency, and the development process. The authors are well-known experts in the field, and the book is the result of IFIP WG 1.3 in cooperation with Esprit Basic Research WG COMPASS, and provides the foundations of the algebraic specification language CASL designed in the CoFI project. For students, researchers, and system developers.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642641510
Number of pages: 616
Weight: 943 g
Dimensions: 235 x 155 x 32 mm
Edition: Softcover reprint of the original 1st ed. 199

You may also be interested in...

The Lego Mindstorms Ev3 Idea Book
Added to basket
Python 3 for Absolute Beginners
Added to basket
JavaScript Pocket Reference
Added to basket
JavaScript and JQuery
Added to basket
Coding with JavaScript For Dummies
Added to basket
SQL Pocket Guide
Added to basket
Essential Scrum
Added to basket
£36.99
Paperback
Head First Java
Added to basket
£47.99
Paperback
Python Pocket Reference
Added to basket
Clean Code
Added to basket
£36.99
Paperback
C Programming Language
Added to basket
Effective Python
Added to basket
£29.49
Paperback
Python For Kids For Dummies
Added to basket
Design Patterns
Added to basket
£44.49
Hardback
How to Build a Billion Dollar App
Added to basket

Please sign in to write a review

Your review has been submitted successfully.