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ț: 36042 lei
  • Convex Geometry: Cetraro, Italy 2021
    Preț: 45992 lei
  • The Essence of Numbers
    Preț: 12141 lei
  • Computational Synthetic Geometry
    Preț: 17568 lei
  • Introduction to Grothendieck Duality Theory
    Preț: 19700 lei
  • Lie Algebras and Lie Groups: 1964 Lectures given at Harvard University
    Preț: 27976 lei
  • Open Quantum Systems I: The Hamiltonian Approach
    Preț: 47765 lei
  • 17% The Analysis of Fractional Differential Equations: An Application-Oriented Exposition Using Differential Operators of Caputo Type
    Preț: 36188 lei
  • The Dynamics of Nonlinear Reaction-Diffusion Equations with Small Lévy Noise
    Preț: 25237 lei
  • Conformal Symmetry Breaking Operators for Differential Forms on Spheres
    Preț: 35399 lei
  • Metrical and Dynamical Aspects in Complex Analysis
    Preț: 13888 lei
  • Geometrical Themes Inspired by the N-body Problem
    Preț: 15261 lei
  • Open Conformal Systems and Perturbations of Transfer Operators
    Preț: 11667 lei
  • Generic Coarse Geometry of Leaves
    Preț: 10277 lei
  • 17% Arakelov Geometry and Diophantine Applications
    Preț: 36552 lei
  • Equivariant Cohomology of Configuration Spaces Mod 2: The State of the Art
    Preț: 39675 lei
  • 17% Generalized B*-Algebras and Applications
    Preț: 36212 lei
  • Topics Surrounding the Combinatorial Anabelian Geometry of Hyperbolic Curves II: Tripods and Combinatorial Cuspidalization
    Preț: 39611 lei
  • The Cohomology of Commutative Semigroups: An Overview
    Preț: 35778 lei
  • 17% Decomposition of Jacobians by Prym Varieties
    Preț: 36231 lei
  • Mathematics Going Forward: Collected Mathematical Brushstrokes
    Preț: 40380 lei
  • 17% p-adic Banach Space Representations: With Applications to Principal Series
    Preț: 36170 lei
  • Geometric Aspects of Functional Analysis: Israel Seminar (GAFA) 2020-2022
    Preț: 49987 lei
  • An Invitation to Coarse Groups
    Preț: 45703 lei
  • Tulane University Ring and Operator Theory Year, 1970-1971: Vol. 2: Lectures on Operator Algebras
    Preț: 39590 lei
  • Toroidal Embeddings 1
    Preț: 45900 lei
  • Critical Point Theory and Submanifold Geometry
    Preț: 48757 lei
  • Ecole d'Ete de Probabilites de Saint Flour XIV, 1984
    Preț: 42401 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ț: 48757 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ț: 33055 lei
  • Complex Analysis and Algebraic Geometry: Proceedings of a Conference, Held in Göttingen, June 25 - July 2, 1985
    Preț: 32575 lei
  • Algebraic Topology. Göttingen 1984: Proceedings of a Conference held in Göttingen, November 9-15, 1984
    Preț: 35030 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ț: 33131 lei
  • Séminaire de Probabilités XX 1984/85: Proceedings
    Preț: 40837 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ț: 32825 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ț: 42128 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ț: 27608 lei
  • Transformation Groups and Algebraic K-Theory
    Preț: 42460 lei
  • Algebraic Topology and Transformation Groups: Proceedings of a Conference held in Göttingen, FRG, August 23-29, 1987
    Preț: 42205 lei
  • Topology and Geometry - Rohlin Seminar
    Preț: 50501 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ț: 42205 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ț: 27493 lei
  • Ecole d'Ete de Probabilites de Saint-Flour XII, 1982
    Preț: 33516 lei
  • Ecole d'Ete de Probabilites de Saint-Flour XIII, 1983
    Preț: 42227 lei
  • Ecole d'Ete de Probabilites de Saint-Flour XV-XVII, 1985-87
    Preț: 49749 lei
  • Semi-Classical Analysis for the Schrödinger Operator and Applications
    Preț: 27281 lei
  • Séminaire de Probabilités XVIII 1982/83: Proceedings
    Preț: 42804 lei
  • An Index and Other Useful Information
    Preț: 37622 lei
  • Seminaire de Probabilites XIX 1983/84: Proceedings
    Preț: 42710 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ț: 32592 lei

Preț: 42591 lei

Nou

Puncte Express: 639
Preț estimativ în valută:
8151€ • 8461$ • 6796£

Carte tipărită la comandă

Livrare economică 24 martie-07 aprilie

 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.