Sinossi
The economic construction of correct and efficient programs is the central issue in the field of program specification and transformation. Research in this field is crucial, with the advent of cheap computing power in a society increasingly dependent on the availability of error-free programs. In recognizing this need, this book presents examination of a variety of aspects - from practical experience in applying transformational methodology, to actual production of software, via examples of transformational derivations of algorithms. By thus illustrating the state of the art, and providing results of recent research, the book should not only aid scientists but also show professionals just how their work will be influenced by these developments.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Product Description
Book by None
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Program Specification and Transformation: I.F.I.P.Working...
Foto dell'editore
Program Specification and Transformation
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. *Price HAS BEEN REDUCED by 10% until Tuesday, May 26 (holiday SALE item)* 535 pp., hardcover, minor internal library markings, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Codice articolo ZB1145234
Compra usato
EUR 11,80
Spedizione EUR 3,88
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Program Specification and Transformation
Editore:
Elsevier Science Ltd, 1987
ISBN 10: 0444702237
ISBN 13: 9780444702234
Antico o usato
Rilegato
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Bon. Ancien livre de bibliothèque avec équipements. Couverture différente. Edition 1987. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Different cover. Edition 1987. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo G-122-244
Compra usato
EUR 5,84
Spedizione EUR 16,50
Spedito da Francia a U.S.A.
Spedito da Francia a U.S.A.
Quantità: 1 disponibili