|
Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
Algebraic Foundations of Systems Specification (Paperback, Softcover reprint of the original 1st ed. 1999)
Loot Price: R1,565
Discovery Miles 15 650
|
|
|
Algebraic Foundations of Systems Specification (Paperback, Softcover reprint of the original 1st ed. 1999)
Series: IFIP State-of-the-Art Reports
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
