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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Act: Algebraic Specification Techniques & Tools...
Image d'archives
Act : Algebraic Specification Techniques & Tools for Software Development
Edité par
World Scientific Publishing Company, 1993
ISBN 10 : 9810212275
ISBN 13 : 9789810212278
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 3325872
Acheter D'occasion
EUR 72,92
Expédition à EUR 2,31
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Act : Algebraic Specification Techniques & Tools for Software Development
Edité par
World Scientific Publishing Company, 1993
ISBN 10 : 9810212275
ISBN 13 : 9789810212278
Neuf
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 3325872-n
Acheter neuf
EUR 76,66
Expédition à EUR 2,31
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Algebraic Specification Techniques And Tools For Software Development: The Act Approach (Hardcover)
Edité par
World Scientific Publishing Co Pte Ltd, Singapore, 1993
ISBN 10 : 9810212275
ISBN 13 : 9789810212278
Neuf
Couverture rigide
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
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
Acheter neuf
EUR 79,05
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Algebraic Specification Techniques And Tools For Software Development: The Act Approach: 1 (Amast Series In Computing)
Edité par
World Scientific Publishing Co Pte Ltd, 1993
ISBN 10 : 9810212275
ISBN 13 : 9789810212278
Neuf
Couverture rigide
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. . . . . N° de réf. du vendeur V9789810212278
Acheter neuf
EUR 81,95
Expédition à EUR 10,50
Expédition depuis Irlande vers Etats-Unis
Expédition depuis Irlande vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image d'archives
Algebraic Specification Techniques and Tools for Software Development: The ACT Approach (Amast Computing)
Edité par
World Scientific Publishing Company, 1993
ISBN 10 : 9810212275
ISBN 13 : 9789810212278
Neuf
Couverture rigide
Vendeur : Russell Books, Victoria, BC, Canada
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : New. Special order direct from the distributor. N° de réf. du vendeur ING9789810212278
Acheter neuf
EUR 77,03
Expédition à EUR 17,50
Expédition depuis Canada vers Etats-Unis
Expédition depuis Canada vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Act : Algebraic Specification Techniques & Tools for Software Development
Edité par
World Scientific Publishing Company, 1993
ISBN 10 : 9810212275
ISBN 13 : 9789810212278
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 3325872
Acheter D'occasion
EUR 80,48
Expédition à EUR 17,52
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Algebraic Specification Techniques and Tools for Software Development: The Act Approach (AMAST Series in Computing)
Edité par
World Scientific Publishing Co Pte Ltd, 1993
ISBN 10 : 9810212275
ISBN 13 : 9789810212278
Neuf
Couverture rigide
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Brand New. 8.75x6.25x0.75 inches. In Stock. N° de réf. du vendeur x-9810212275
Acheter neuf
EUR 91,74
Expédition à EUR 11,68
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Act : Algebraic Specification Techniques & Tools for Software Development
Edité par
World Scientific Publishing Company, 1993
ISBN 10 : 9810212275
ISBN 13 : 9789810212278
Neuf
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 3325872-n
Acheter neuf
EUR 90,08
Expédition à EUR 17,52
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Algebraic Specification Techniques And Tools For Software Development: The Act Approach: 1 (Amast Series In Computing)
Edité par
World Scientific Publishing Co Pte Ltd, 1993
ISBN 10 : 9810212275
ISBN 13 : 9789810212278
Neuf
Couverture rigide
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur V9789810212278
Acheter neuf
EUR 103,25
Expédition à EUR 9,19
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Algebraic Specification Techniques and Tools for Software Development: The ACT Approach
Edité par
WORLD SCIENTIFIC PUB CO INC, 1993
ISBN 10 : 9810212275
ISBN 13 : 9789810212278
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
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
Acheter neuf
EUR 69,69
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)