Verwandte Artikel zu Program Construction: International Summer School:...
Program Construction: International Summer School: 69 (Lecture Notes in Computer Science) - Softcover
- VerlagSpringer
- Erscheinungsdatum2008
- ISBN 10 354009251X
- ISBN 13 9783540092513
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten664
Neu kaufen
Diesen Artikel anzeigen
EUR 50,28
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Program Construction: International Summer School:...
Foto des Verkäufers
Program construction : international summer school. Lecture notes in computer science ; Vol. 69
Verlag:
Berlin, Heidelberg, New York : Springer, 1979
ISBN 10: 354009251X
ISBN 13: 9783540092513
Gebraucht
Broschiert
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Broschiert. Zustand: Gut. VII, 651 Seiten : graph. Darst. ; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); leichte altersbedingte Anbräunung des Papiers; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 1060. Artikel-Nr. 1698612
Anzahl: 1 verfügbar
Foto des Verkäufers
Program Construction : International Summer School
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. 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. Artikel-Nr. 9783540092513
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Program Construction: International Summer School (Lecture Notes in Computer Science, 69)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783540092513_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Program Construction
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. 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. Artikel-Nr. 4880395
Anzahl: Mehr als 20 verfügbar