English Books > Computer > Application Software - General > Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology
Paperback
641 pages
Published: December 1995
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 354061463X
This item non-returnable. Order may not be canceled.

These conference proceedings (25 revised full papers, 23 system demonstrations) are organized into sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and algebraic and logical foundations.



SurfStoreUSA

Google
 
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