Specification and Transformation of Programs

Langue : anglais

Edité par Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1990

3540523561 / 9783540523567

Vendeur : Rarewaves.com USA, London, London, Royaume-UniRarewaves.com USA

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 11 juin 2025

Afficher les articles de ce vendeur
Livre relié

Etat: Neuf

EUR 80,42

 Frais de port gratuits 
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier
Retours gratuits sous 30 jours

Item description from seller

"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules. The approach considers programming as a formal activity. Consequently, it requires some mathematical maturity and, above all, the will to try something new. A somewhat experienced programmer or a third- or fourth-year student in computer science should be able to master most of this material - at least, this is the level I have aimed at. This book is primarily intended as a general introductory textbook on transformational methodology. As with any methodology, reading and understanding is necessary but not sufficient. Therefore, most of the chapters contain a set of exercises for practising as homework. Solutions to these exercises exist and can, in principle, be obtained at nominal cost from the author upon request on appropriate letterhead. In addition, the book also can be seen as a comprehensive account of the particular transformational methodology developed within the Munich CIP project.…

N° de réf. du vendeur LU-9783540523567

Titre
Specification and Transformation of Programs
Auteur
Helmut A. Partsch
Éditeur
Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE
Année de publication
1990
État de l'article
New
Reliure
Hardback
Langue
anglais
ISBN à 10 chiffres
3540523561
ISBN à 13 chiffres
9783540523567
Édition
1990 ed.
Dimensions
17.78 x 2.87 x 25.4 cm

Rarewaves.com USA

London, London, Royaume-Uni

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 11 juin 2025

Frais d'expédition de Royaume-Uni vers Etats-Unis

Article9 à 14 jours ouvrés9 à 14 jours ouvrés
Premier articleEUR 0,00EUR 0,00
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Profil professionnel du vendeur

RAREWAVES.COM LIMITED

Elsley Court, 20-22 Great Titchfield Street
London, Royaume-Uni W1W 8BE