Cantitate/Preț
Produs
Total produse
Vezi coșul
Symposium on Semantics of Algorithmic Languages de E. Engeler

Symposium on Semantics of Algorithmic Languages: Lecture Notes in Mathematics, cartea 188

Editat de E. Engeler
en Limba Engleză Paperback – 4 ian 1971

Din seria Lecture Notes in Mathematics

  • 17% Model Order Reduction and Applications: Cetraro, Italy 2021
    Preț: 36041 lei
  • The Essence of Numbers
    Preț: 11894 lei
  • 20% Stochastic Geometry: Lectures given at the C.I.M.E. Summer School held in Martina Franca, Italy, September 13-18, 2004
    Preț: 38028 lei
  • Non-Newtonian Fluid Mechanics and Complex Flows: Levico Terme, Italy 2016
    Preț: 13165 lei
  • Convex Geometry: Cetraro, Italy 2021
    Preț: 45066 lei
  • Computational Synthetic Geometry
    Preț: 17567 lei
  • Open Quantum Systems I: The Hamiltonian Approach
    Preț: 47763 lei
  • 17% The Analysis of Fractional Differential Equations: An Application-Oriented Exposition Using Differential Operators of Caputo Type
    Preț: 36187 lei
  • The Dynamics of Nonlinear Reaction-Diffusion Equations with Small Lévy Noise
    Preț: 25236 lei
  • Conformal Symmetry Breaking Operators for Differential Forms on Spheres
    Preț: 34689 lei
  • Metrical and Dynamical Aspects in Complex Analysis
    Preț: 13888 lei
  • Geometrical Themes Inspired by the N-body Problem
    Preț: 15260 lei
  • Open Conformal Systems and Perturbations of Transfer Operators
    Preț: 11667 lei
  • Generic Coarse Geometry of Leaves
    Preț: 10277 lei
  • Symmetry Breaking for Representations of Rank One Orthogonal Groups II
    Preț: 11902 lei
  • 17% Arakelov Geometry and Diophantine Applications
    Preț: 36551 lei
  • Equivariant Cohomology of Configuration Spaces Mod 2: The State of the Art
    Preț: 39674 lei
  • 17% Generalized B*-Algebras and Applications
    Preț: 36211 lei
  • Topics Surrounding the Combinatorial Anabelian Geometry of Hyperbolic Curves II: Tripods and Combinatorial Cuspidalization
    Preț: 39610 lei
  • The Cohomology of Commutative Semigroups: An Overview
    Preț: 35777 lei
  • 17% Decomposition of Jacobians by Prym Varieties
    Preț: 36230 lei
  • Mathematics Going Forward: Collected Mathematical Brushstrokes
    Preț: 40379 lei
  • 17% p-adic Banach Space Representations: With Applications to Principal Series
    Preț: 36169 lei
  • Geometric Aspects of Functional Analysis: Israel Seminar (GAFA) 2020-2022
    Preț: 48981 lei
  • An Invitation to Coarse Groups
    Preț: 44784 lei
  • Tulane University Ring and Operator Theory Year, 1970-1971: Vol. 2: Lectures on Operator Algebras
    Preț: 39588 lei
  • Critical Point Theory and Submanifold Geometry
    Preț: 47776 lei
  • Ecole d'Ete de Probabilites de Saint Flour XIV, 1984
    Preț: 41547 lei
  • Buildings and the Geometry of Diagrams: Lectures given at the 3rd 1984 Session of the Centro Inter- nazionale Matematico Estivo (C.I.M.E.) held at Como, Italy, August 26 - September 4, 1984
    Preț: 47776 lei
  • Combinatorial Optimization: Lectures given at the 3rd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Como, Italy, August 25 - September 2, 1986
    Preț: 32391 lei
  • Complex Analysis and Algebraic Geometry: Proceedings of a Conference, Held in Göttingen, June 25 - July 2, 1985
    Preț: 31923 lei
  • Algebraic Topology. Göttingen 1984: Proceedings of a Conference held in Göttingen, November 9-15, 1984
    Preț: 34328 lei
  • Numerical Methods in Fluid Dynamics: Lectures given at the 3rd 1983 Session of the Centro Internationale Matematico Estivo (CIME) held at Como, Italy, July 7-15, 1983
    Preț: 32467 lei
  • Séminaire de Probabilités XX 1984/85: Proceedings
    Preț: 40017 lei
  • Schrödinger Operators, Como 1984: Lectures given at the 2nd 1984 Session of the Centro Internationale Matematico Estivo (C.I.M.E.) held at Como, Italy, Aug.26- Sept.4, 1984
    Preț: 32168 lei
  • Harmonic Mappings and Minimal Immersion: Lectures given at the 1st 1984 Session of the Centro Internationale Matematico Estivo (C.I.M.E.) held at Montecatini, Italy, June 24-July 3, 1984
    Preț: 41281 lei
  • Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
    Preț: 27046 lei
  • Transformation Groups and Algebraic K-Theory
    Preț: 41606 lei
  • Algebraic Topology and Transformation Groups: Proceedings of a Conference held in Göttingen, FRG, August 23-29, 1987
    Preț: 41355 lei
  • Topology and Geometry - Rohlin Seminar
    Preț: 49482 lei
  • Complete Intersections: Lectures Given at the 1st 1983 Session of the Centro Internationale Matematico Estivo (C.I.M.E.) Held at Acireale (Catania), Italy, June 13-21, 1983
    Preț: 41355 lei
  • Mathematical Economics: Lectures given at the 2nd 1986 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 25 - July 3, 1986
    Preț: 26934 lei
  • Ecole d'Ete de Probabilites de Saint-Flour XII, 1982
    Preț: 32846 lei
  • Ecole d'Ete de Probabilites de Saint-Flour XIII, 1983
    Preț: 41378 lei
  • Ecole d'Ete de Probabilites de Saint-Flour XV-XVII, 1985-87
    Preț: 48746 lei
  • Semi-Classical Analysis for the Schrödinger Operator and Applications
    Preț: 26726 lei
  • Séminaire de Probabilités XVIII 1982/83: Proceedings
    Preț: 41943 lei
  • An Index and Other Useful Information
    Preț: 36867 lei
  • Seminaire de Probabilites XIX 1983/84: Proceedings
    Preț: 41852 lei
  • Kinetic Theories and the Boltzmann Equation: Lectures given at the 1st 1981 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini, Italy, June 10-18, 1981
    Preț: 31939 lei

Preț: 41733 lei

Nou

Puncte Express: 626
Preț estimativ în valută:
7986€ • 8401$ • 6629£

Carte tipărită la comandă

Livrare economică 16-30 ianuarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540053774
ISBN-10: 3540053778
Pagini: 380
Ilustrații: VIII, 376 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.53 kg
Ediția:1971
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Mathematics

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.