Algebraic Foundations Of Systems Specification; Author: Astesiano, Egidio; Joint Author: Kreowski, Hans-Jorg; Hardback; Book

Musical Supplies

Perfumes/Cosmetics

English Books > Computer > Programming - Systems Analysis & Design > Algebraic Foundations Of Systems Specification

<< PREVIOUS TITLE | NEXT TITLE >> <<NEW RELEASES >>

Algebraic Foundations Of Systems Specification

Author: Astesiano, Egidio; Joint Author: Kreowski, Hans-Jorg
Ifip State-Of-The-Art Reports; Hardback; Book
300 pages
Published: May 1999
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 3540637729
This item non-returnable. Order may not be canceled.

This book is a collection of high-quality contributions in the area of algebraic foundations of system specification, written by well-known experts. The contributions cover active topics and recent advances, and relate the work to other specification paradigms. Topics include institutions, partiality, specification semantics, structuring, refinement, specification languages, term rewriting, deduction, model-oriented specification, object-specification, concurrency, and the development process. All topics are clearly introduced, well illuminated with examples, and systematically developed.This volume covers active topics and advances in system specification including: specification semantics; refinement; specification languages; term rewriting; deduction; model-oriented specification; object-specification; and concurrency. Topics are illuminated with examples.

PRODUCT CODE: 3540637729

USA/Canada:	US$ 349.70
Australia/NZ:	A$ 474.50
Other Countries:	US$ 379.60

convert to your currency

SurfStoreUSA

DELIVERY & BILLING >>

Delivery costs included if your total order exceeds US$50.
We do not charge your credit card until we ship your order.
Government and corporate Purchase Orders accepted without prior account application.

PLACE AN ORDER >>

To prepare to buy this item click "add to cart" above. You can change or abandon your shopping cart at any time before checkout.

CHECK ORDER STATUS >>

Check on order progress and dispatch.

CHANGE OR CANCEL YOUR ORDER >>

Please E-mail us within one hour

The NetStoreUSA website is operated by Open Communications, Inc
an Arizona corporation, which has successfully served
the Internet community since 1994.

Copyright � 2008 Open Communications, Inc
�Open Communications is a Registered Trade Mark.
This material may be freely distributed ONLY with full reference to Open Communications Inc,
including fax, phone, e-mail, and world-wide web details.
This material is an invitation to treat and not an offer.
We reserve the right to decline orders received from this site.
Prices subject to change to be advised on confirmation of order.
Not all titles listed are in print.
Home Page: http://www.NetStoreUSA.com/
Site Map

Affiliates Coop