search for books and compare prices
Price
Store
Arrives
Preparing
Shipping
Jump quickly to results on these stores:
The price is the lowest for any condition, which may be new or used; other conditions may also be available.
Jump down to see edition details for: Hardcover
Bibliographic Detail
Publisher
Springer Verlag
Publication date
November 1, 1999
Pages
615
Binding
Hardcover
Book category
Adult Non-Fiction
ISBN-13
9783540637721
ISBN-10
3540637729
Dimensions
1.50 by 6.50 by 9.50 in.
Weight
2 lbs.
Availability§
Out of Print
Published in
Europe
Original list price
$99.00
§As reported by publisher
Summaries and Reviews
(view table of contents)
Amazon.com description: Product Description: 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.
Editions
Hardcover
The price comparison is for this edition
from Springer Verlag (November 1, 1999)
9783540637721 | details & prices | 615 pages | 6.50 × 9.50 × 1.50 in. | 2.05 lbs | List price $99.00
About: This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundations of system specification.
About: This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundations of system specification.
Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. isbn.nu is not a bookseller, just an information source.