Symposium on Semantics of Algorithmic Languages

AvE. Engeler

Häftad, Engelska, 1971

Del 188 i serien Lecture Notes in Mathematics

446 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1971-01-04
Mått:155 x 235 x 21 mm
Vikt:575 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Mathematics
Antal sidor:376
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540053774

Utforska kategorier

Matematik inom Naturvetenskap och teknik

Innehållsförteckning

Axiom systems for simple assignment statements.- A property of linear conditionals.- Formalization of storage properties.- Program schemes, programs and logic.- Algebraic theories and program schemes.- Structure and meaning of elementary programs.- Procedures and parameters: An axiomatic approach.- Semantics of algol-like statements.- Proving correctness of implementation techniques.- Examples of formal semantics.- Experience with inductive assertions for proving programs correct.- Mathematical theory of partial correctness.- Towards automatic program synthesis.- The lattice of flow diagrams.

Du kanske också är intresserad av

10% rabatt på allt

Exit Adventskalender - Julens magi (SE)

Exit

499 kr

Vorlesungen über Differential- und Integralrechnung

Richard Courant

Häftad, 1971

623 kr

Del 20

Chemistry of Organophosphorus Compounds II

H. J. Bestmann, R. Zimmermann

Häftad, 1971

556 kr

Del 2

On the Problem of Plateau / Subharmonic Functions

T. Rado

Häftad, 1971

556 kr

Del 189

Dirichlet Series and Automorphic Forms

A. Weil

Häftad, 1971

314 kr

Symposium on Semantics of Algorithmic Languages

E. Engeler

E-bok

2006

574 kr

Del 19

Chemistry of Organophosphorus Compounds I

L. Maier, G. Zon, K. Mislow

Häftad, 1971

556 kr

Optimierungsaufgaben

L. Collatz, W. Wetterling, L. Collatz, W. Wetterling

Häftad, 1971

520 kr

Metamathematik der Elementarmathematik

E. Engeler

E-bok

2013

479 kr

International Law Reports

E. Lauterpacht

Inbunden, 1971

1 970 kr

Symposium on Semantics of Algorithmic Languages

AvE. Engeler

Häftad, Engelska, 1971

Del 188 i serien Lecture Notes in Mathematics

446 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1971-01-04
Mått:155 x 235 x 21 mm
Vikt:575 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Mathematics
Antal sidor:376
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540053774

Utforska kategorier

Matematik inom Naturvetenskap och teknik

Innehållsförteckning

Axiom systems for simple assignment statements.- A property of linear conditionals.- Formalization of storage properties.- Program schemes, programs and logic.- Algebraic theories and program schemes.- Structure and meaning of elementary programs.- Procedures and parameters: An axiomatic approach.- Semantics of algol-like statements.- Proving correctness of implementation techniques.- Examples of formal semantics.- Experience with inductive assertions for proving programs correct.- Mathematical theory of partial correctness.- Towards automatic program synthesis.- The lattice of flow diagrams.