Isbn: 9783540092513 - program construction: international summer school: 69 (lecture notes in computer science, 69) (12 resultados)

Condición: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

PF. Condición: New.

Condición: New.

Paperback. Condición: New. 1979 ed.

Condición: New. In English.

Condición: As New. Unread book in perfect condition.

Taschenbuch. Condición: 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.…

Paperback. Condición: New. 1979 ed.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 664 pp. Englisch.…

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 664 pp. Englisch.…

Taschenbuch. Condición: Neu. Program Construction | International Summer School | F. L. Bauer (u. a.) | Taschenbuch | x | Englisch | 1979 | Springer | EAN 9783540092513 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. …