Claben Ingo (6 results)
Language: English
Published by World Scientific Publishing Co Pte Ltd, Singapore 1993
- Hardcover
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contact seller5-star sellerCondition: New
US$ 87.73
Free ShippingShips within U.S.A.Quantity: 1 available
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 alge…braic 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.
- Hardcover
Seller: Russell Books, Victoria, BC, CanadaRussell Books
Contact seller5-star sellerCondition: New
Original price: US$ 85.42; 20% offCurrent price: US$ 68.34
US$ 19.99 shippingShips from Canada to U.S.A.Quantity: 1 available
hardcover. Condition: New. Special order direct from the distributor.
- Hardcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
US$ 96.45
US$ 12.00 shippingShips from Ireland to U.S.A.Quantity: 10 available
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, ill…ustrations. 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. . . . .
- Hardcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
US$ 114.50
US$ 10.50 shippingShips within U.S.A.Quantity: 10 available
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, ill…ustrations. 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.
- Hardcover
Seller: moluna, Greven, , Germanymoluna
Contact seller5-star sellerCondition: New
US$ 82.02
US$ 55.98 shippingShips from Germany to U.S.A.Quantity: 1 available
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.
Language: English
Published by World Scientific Publishing Co Pte Ltd, Singapore 1993
- Hardcover
Seller: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contact seller5-star sellerCondition: New
US$ 118.58
US$ 37.00 shippingShips from Australia to U.S.A.Quantity: 1 available
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 alge…braic 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 our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
