Fundamentals of Algebraic Specification 1

Name: Fundamentals of Algebraic Specification 1
SKU: 20770611
Price: 266.99 AUD
Availability: InStock

Equations and Initial Semantics

By:

Format:

Paperback / softback

Series:

Monographs in Theoretical Computer Science : an EATCS Series

Show Hide Adult Content

$266.99

RRP:: ~~$283.95~~ save $16.96

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Buy Now, Pay Later with:

4 payments of $66.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

Around 13-25 June using International Courier

Description

The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to understand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense of concepts, which are introduced on a conceptual level and formalized in mathematical terms. The book is equally suitableas a text book for graduate courses and as a reference for researchers and system developers.

Release date Australia

November 23rd, 2011

Author

Audience

Professional & Vocational

Edition

Softcover reprint of the original 1st ed. 1985

Illustrations

XI, 321 p.

Pages

321

Series

Monographs in Theoretical Computer Science : an EATCS Series

Dimensions

170x244x18

ISBN-13

9783642699641

Product ID

20770611

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here