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.

Mer från samma författare

Logic of Programs

E. Engeler

Häftad, 1981

572 kr

Metamathematik der Elementarmathematik

E. Engeler

Häftad, 1983

571 kr

Symposium on Semantics of Algorithmic Languages

E. Engeler

E-bok

2006

574 kr

Metamathematik der Elementarmathematik

E. Engeler

E-bok

2013

479 kr

ALGORITHMIC PROPERTIES OF STRUCTURES: SELECTED PAPERS OF E ENGELER

ENGELER E, E Engeler

Inbunden, 1994

1 454 kr

Mer från samma serie

Del 1144

Knot Theory and Manifolds

Dale Rolfsen

Häftad, 1985

281 kr

Del 620

Moduli Theory and Classification Theory of Algebraic Varieties

H. Popp

Häftad, 1977

314 kr

Del 1788

Moduli of Families of Curves for Conformal and Quasiconformal Mappings

Alexander Vasil'ev

Häftad, 2002

499 kr

From Hahn-Banach to Monotonicity

Stephen Simons

Häftad, 2008

554 kr

Del 2070

Probabilistic Group Theory, Combinatorics, and Computing

Alla Detinko, Dane Flannery, Eamonn O'Brien

Häftad, 2013

390 kr

Del 2191

Leavitt Path Algebras

Gene Abrams, Pere Ara, Mercedes Siles Molina

Häftad, 2017

664 kr

Index and Other Useful Information

A. Dold, B. Eckmann

Häftad, 2013

554 kr

Del 1965

Geometric Properties of Banach Spaces and Nonlinear Iterations

Charles Chidume

Häftad, 2009

556 kr

Del 2229

Spectral Theory for Simply Periodic Solutions of the Sinh-Gordon Equation

Sebastian Klein

Häftad, 2018

445 kr

Del 2228

Zeta Integrals, Schwartz Spaces and Local Functional Equations

Wen-Wei Li

Häftad, 2018

500 kr

Du kanske också är intresserad av

10% rabatt på allt

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

Vorlesungen über Differential- und Integralrechnung

Richard Courant

Häftad, 1971

623 kr

Symposium on Semantics of Algorithmic Languages

E. Engeler

E-bok

2006

574 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

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

International Law Reports

E. Lauterpacht

Inbunden, 1971

1 970 kr

Metamathematik der Elementarmathematik

E. Engeler

E-bok

2013

479 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.