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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Vendeur : Ammareal, Morangis, France
Hardcover. Etat : Bon. Ancien livre de bibliothèque. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur F-933-947
Quantité disponible : 1 disponible(s)
Vendeur : BookOrders, Russell, IA, Etats-Unis
Hard Cover. Etat : Acceptable. Etat de la jaquette : Acceptable. AMST Series In Computing Vol. 1. The interior is clean and tight. Binding is good. Jacket shows slight wear. Cover is good. 237 pages including index. N° de réf. du vendeur 033041
Quantité disponible : 1 disponible(s)
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Hardcover. Etat : 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. N° de réf. du vendeur 9789810212278
Quantité disponible : 1 disponible(s)
Vendeur : Russell Books, Victoria, BC, Canada
hardcover. Etat : New. Special order direct from the distributor. N° de réf. du vendeur ING9789810212278
Quantité disponible : 1 disponible(s)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Hardcover. Etat : Brand New. 8.75x6.25x0.75 inches. In Stock. N° de réf. du vendeur x-9810212275
Quantité disponible : 1 disponible(s)
Vendeur : moluna, Greven, Allemagne
Etat : 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. N° de réf. du vendeur 909654371
Quantité disponible : 1 disponible(s)
Vendeur : AussieBookSeller, Truganina, VIC, Australie
Hardcover. Etat : 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 our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. N° de réf. du vendeur 9789810212278
Quantité disponible : 1 disponible(s)
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Buch. Etat : Neu. Neuware - 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. N° de réf. du vendeur 9789810212278
Quantité disponible : 1 disponible(s)