Items related to Algebraic Foundations of Systems Specification (IFIP...
Synopsis
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 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.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Algebraic Foundations of Systems Specification (IFIP...
Stock Image
Algebraic Foundations of Systems Specification
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. xii + 616 1st Edition. Seller Inventory # 263128097
Quantity: 1 available
Stock Image
Algebraic Foundations of Systems Specification
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. xii + 616 57 Figures. Seller Inventory # 5768446
Quantity: 1 available
Stock Image
Algebraic Foundations of Systems Specification
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. pp. xii + 616. Seller Inventory # 183128107
Quantity: 1 available
Stock Image
Algebraic Foundations of Systems Specification
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-241885
Quantity: 1 available
Stock Image
Algebraic Foundations of Systems Specification
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-82358
Quantity: 1 available
Stock Image
Algebraic Foundations of Systems Specification (IFIP State-of-the-Art Reports)
Seller: ALLBOOKS1, Direk, SA, Australia
Seller rating 5 out of 5 stars
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Seller Inventory # SHUB268267
Quantity: 1 available