Articles liés à A Practical Theory of Programming

A Practical Theory of Programming - Couverture rigide

 
9783540941064: A Practical Theory of Programming

Synopsis

Understanding programming and programming languages requires knowledge of the underlying theoretical model. This book explores aspects of programming that are amenable to mathematical proof. The author describes a programming theory which is much simpler and more comprehensive than the current theories to date. In the theoretical model, a specification is just a Boolean expression and refinement is just an ordinary implication. The author develops a practical and broad method for writing precise specifications and designing programs whose executions probably satisfy the specifications. Beginning with preparatory material in logic, numbers, sets, lists, functions and relations, the book advances further into program theory, the heart of the book. Subsequent chapters may be selected or omitted according to course emphasis. The text will be useful to students in courses on programming methodology or verification at the advanced undergraduate or beginning graduate level, as well as for software engineers in the field. All technical terms are explained and then demonstrated in the book wherever possible. No advanced mathematical knowledge or programming language is assumed. The book contains numerous exercises and worked-out solutions for specific exercises.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Acheter D'occasion

état :  Très bon
Ancien livre de bibliothèque. Légères...
Afficher cet article
EUR 92,03

Autre devise

EUR 3,50 expédition vers France

Destinations, frais et délais

Autres éditions populaires du même titre

Résultats de recherche pour A Practical Theory of Programming

Image d'archives

Eric C.R. Hehner
ISBN 10 : 3540941061 ISBN 13 : 9783540941064
Ancien ou d'occasion Couverture rigide

Vendeur : Ammareal, Morangis, France

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Hardcover. Etat : Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur D-484-840

Contacter le vendeur

Acheter D'occasion

EUR 92,03
Autre devise
Frais de port : EUR 3,50
Vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Hehner, Eric C. R
Edité par Springer-Verlag 0, 1993
ISBN 10 : 3540941061 ISBN 13 : 9783540941064
Ancien ou d'occasion Couverture rigide

Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

hardcover. Etat : Very Good. Very Good. book. N° de réf. du vendeur ERICA82935409410614

Contacter le vendeur

Acheter D'occasion

EUR 147,32
Autre devise
Frais de port : EUR 28,84
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier