Program Construction : International Summer School

Langue : anglais

Edité par Springer, 1979

354009251X / 9783540092513

Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 14 août 2006

Livre broché

Etat: Neuf

EUR 54,45

EUR 35,00 expédition 
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

Druck auf Anfrage Neuware - Printed after ordering - A more formal treatment of a less simple example.- Stationary behaviour of some ternary networks.- Finding the correctness proof of a concurrent program.- On the interplay between mathematics and programming.- A theorem about odd powers of odd integers.- In honour of Fibonacci.- On the foolishness of 'natural language programming'.- Program inversion.- The Schorr-Waite graph marking algorithm.- Eliminating the chaff.- Proofs, programs and their development - The axiomatic approach.- Current ideas in programming methodology.- Basic axiomatic definitions.- The multiple assignment statement.- Is sometimes ever better than always .- A case study in language design: Euclid.- Proof rules for the programming language Euclid.- Verification of Euclid programs.- Specifications and proofs for abstract data types in concurrent programs.- Specification and verification of a network mail system.- From specification to implementation - The formal approach.- Program development by stepwise transformations - The project CIP.- Systematics of transformation rules.- Special transformation techniques.- A study on transformational semantics.- Detailization and lazy evaluation, infinite objects and pointer representation.- Examples for change of types and object structures.- Development of the Schorr-Waite algorithm.- A derivation-oriented proof of the Schorr-Waite marking algorithm.- Languages as tools - Interactive program construction.- Programing languages for reliable computing systems.- Programming methodology and language implications.- Towards a wide spectrum language to support program specification and program development.- Semantics of nondeterministic and noncontinuous constructs.- Notes on type abstraction.- Some theoretical aspects of program construction.…

N° de réf. du vendeur 9783540092513

Titre
Program Construction : International Summer School
Auteur
D. Gries
Éditeur
Springer
Année de publication
1979
État de l'article
Neu
Reliure
Taschenbuch
Langue
anglais
ISBN à 10 chiffres
354009251X
ISBN à 13 chiffres
9783540092513
Poids de l'article
990 grammes
Dimensions
235x155x36 mm

AHA-BUCH GmbH

Einbeck, Allemagne

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 14 août 2006

Frais d'expédition de Allemagne vers Etats-Unis

Article7 à 10 jours ouvrés5 à 7 jours ouvrés
Premier articleEUR 35,00EUR 45,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
  • Chèque
  • Paypal
  • Virement bancaire

Description de la boutique

Das Unternehmen AHA-BUCH GmbH: Seit der Gründung von AHA-BUCH im Juli 2005 ist unser Hauptziel, zufriedenen Kunden so schnell und so preisgünstig wie möglich ihren Bücherwunsch zu erfüllen. Unsere Firma beschäftigt 16 Mitarbeiter, die nur ein Ziel kennen: den Kunden und seine Wünsche! Auf über 3700 m2 Fläche haben wir über 100.000 Bücher, Modernes Antiquariat und Spiele auf Lager.

Spécialité

Kinderbücher & Kinderhör Casetten, German Books, Software, Natur & Tiere, Ratgeber, Sachbücher, Englische Bücher, Medizin & Gesundheit, Universität & Studium

Profil professionnel du vendeur

AHA-BUCH GmbH

Garlebsen 48
Einbeck, Allemagne 37574