Algebraic Specification Techniques And Tools For Software Development: The Act Approach: 1 (Amast Series In Computing) - Hardcover
Synopsis
The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusability. These methods are introduced by parameterized and module specifications through practical examples and case studies using algebraic specification languages and tools developed at TU Berlin.
"synopsis" may belong to another edition of this title.
Review
"The book is well written and informative ..." Markus Wolf Computing Reviews
"About this title" may belong to another edition of this title.
Search results for Algebraic Specification Techniques And Tools For Software...
Stock Image
Act : Algebraic Specification Techniques & Tools for Software Development
Published by
World Scientific Publishing Company, 1993
ISBN 10: 9810212275
ISBN 13: 9789810212278
Used
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 3325872
Stock Image
Act : Algebraic Specification Techniques & Tools for Software Development
Published by
World Scientific Publishing Company, 1993
ISBN 10: 9810212275
ISBN 13: 9789810212278
New
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 3325872-n
Stock Image
Algebraic Specification Techniques And Tools For Software Development: The Act Approach (Hardcover)
Published by
World Scientific Publishing Co Pte Ltd, Singapore, 1993
ISBN 10: 9810212275
ISBN 13: 9789810212278
New
Hardcover
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusability. These methods are introduced by parameterized and module specifications through practical examples and case studies using algebraic specification languages and tools developed at TU Berlin. Explains how algebraic specification methods can be used for software development to support reliability, modifiability and reusability. These methods are introduced by parameterized and module specifications through practical examples and case studies. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9789810212278
Stock Image
Algebraic Specification Techniques and Tools for Software Development: The ACT Approach (Amast Computing)
Published by
World Scientific Publishing Company, 1993
ISBN 10: 9810212275
ISBN 13: 9789810212278
New
Hardcover
Seller: Russell Books, Victoria, BC, Canada
Seller rating 5 out of 5 stars
hardcover. Condition: New. Special order direct from the distributor. Seller Inventory # ING9789810212278
Stock Image
Act : Algebraic Specification Techniques & Tools for Software Development
Published by
World Scientific Publishing Company, 1993
ISBN 10: 9810212275
ISBN 13: 9789810212278
Used
Hardcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 3325872
Buy Used
£ 66.90
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Algebraic Specification Techniques And Tools For Software Development: The Act Approach: 1 (Amast Series In Computing)
Published by
World Scientific Publishing Co Pte Ltd, 1993
ISBN 10: 9810212275
ISBN 13: 9789810212278
New
Hardcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. Explains how algebraic specification methods can be used for software development to support reliability, modifiability and reusability. These methods are introduced by parameterized and module specifications through practical examples and case studies. Series: AMAST Series in Computing. Num Pages: 256 pages, illustrations. BIC Classification: UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate; (XV) Technical / Manuals. Dimension: 220 x 162 x 19. Weight in Grams: 485. . 1993. Illustrated. hardcover. . . . . Seller Inventory # V9789810212278
Stock Image
Algebraic Specification Techniques and Tools for Software Development: The Act Approach (AMAST Series in Computing)
Published by
World Scientific Publishing Co Pte Ltd, 1993
ISBN 10: 9810212275
ISBN 13: 9789810212278
New
Hardcover
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 8.75x6.25x0.75 inches. In Stock. Seller Inventory # x-9810212275
Buy New
£ 77.11
£ 10 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Act : Algebraic Specification Techniques & Tools for Software Development
Published by
World Scientific Publishing Company, 1993
ISBN 10: 9810212275
ISBN 13: 9789810212278
New
Hardcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 3325872-n
Buy New
£ 75.85
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Algebraic Specification Techniques And Tools For Software Development: The Act Approach: 1 (Amast Series In Computing)
Published by
World Scientific Publishing Co Pte Ltd, 1993
ISBN 10: 9810212275
ISBN 13: 9789810212278
New
Hardcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Explains how algebraic specification methods can be used for software development to support reliability, modifiability and reusability. These methods are introduced by parameterized and module specifications through practical examples and case studies. Series: AMAST Series in Computing. Num Pages: 256 pages, illustrations. BIC Classification: UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate; (XV) Technical / Manuals. Dimension: 220 x 162 x 19. Weight in Grams: 485. . 1993. Illustrated. hardcover. . . . . Books ship from the US and Ireland. Seller Inventory # V9789810212278
Seller Image
Algebraic Specification Techniques and Tools for Software Development: The ACT Approach
Published by
WORLD SCIENTIFIC PUB CO INC, 1993
ISBN 10: 9810212275
ISBN 13: 9789810212278
New
Hardcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. InhaltsverzeichnisAlgebraic specfication as formal method for software development ACT one - a language for parameterized specification ACT two - a language for module specification the ACT environment. Appendix: algebraic concepts an. Seller Inventory # 909654371