Two important new concepts, module specifications and constraints, are introduced in this second volume of a three-volume set on fundamentals of algebraic specification. These concepts are motivated by problems in practical software development and are studied here from a theoretical point of view. Modularization is one of the main structuring principles in software development. Modules and module specifications can be seen as the basic building blocks which are used in modularization of software systems and software system specification. Constraints are introduced to increase the expressive power of algebraic specifications in order to make them more useful for practical applications. The book is suitable both as a textbook for graduate courses in formal specification of data types and software systems and as a reference for researchers and system developers.
"synopsis" may belong to another edition of this title.
Shipping:
US$ 16.11
From Germany to U.S.A.
Shipping:
FREE
Within U.S.A.
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
gebundene Ausgabe. Condition: Gut. 427 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Schnitt und Einband sind etwas staubschmutzig; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Text in ENGLISCHER Sprache! Sprache: Englisch Gewicht in Gramm: 850. Seller Inventory # 1583697
Quantity: 1 available
Seller: Ammareal, Morangis, France
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1990. Tome 21. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1990. Tome 21. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # D-625-392
Quantity: 1 available
Seller: Basi6 International, Irving, TX, U.S.A.
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-86735
Quantity: 1 available
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABTR-220089
Quantity: 2 available
Seller: Books Puddle, New York, NY, U.S.A.
Condition: Used. pp. 427 1st Edition. Seller Inventory # 263121411
Quantity: 1 available
Seller: Majestic Books, Hounslow, United Kingdom
Condition: Used. pp. 427. Seller Inventory # 5775068
Quantity: 1 available
Seller: Mispah books, Redhill, SURRE, United Kingdom
Hardcover. Condition: USED_ASNEW. Like New. book. Seller Inventory # ERICA70403875179955
Quantity: 1 available
Seller: ALLBOOKS1, Parafield, SA, Australia
Condition: NEW. Seller Inventory # SHUB86735
Quantity: 1 available