Isbn: 9783540053774 - symposium on semantics of algorithmic languages: 188 (lecture notes in mathematics, 188) (12 resultados)

ISBN: 
Refinar con la Búsqueda avanzada

Filtrar la búsqueda

  • Libros (12)

a

Intervalo de precios personalizado (EUR)

a

  • Idioma: Inglés

    Editorial: Springer, 1971

    3540053778 / 9783540053774

    • Tapa blanda

    Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemaniabooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Bueno

    EUR 3,45

    Envío por EUR 15,95 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Broschiert. Condición: Gut. 371 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 710. …

  • Idioma: Inglés

    Editorial: Springer, 1971

    3540053778 / 9783540053774

    • Tapa blanda

    Librería: Anybook.com, Lincoln, Reino UnidoAnybook.com

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Aceptable

    EUR 3,95

    Envío por EUR 15,80 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Condición: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:3540053778.

  • Idioma: Inglés

    Editorial: Springer, 1971

    3540053778 / 9783540053774

    • Tapa blanda

    Librería: Richard J Barbrick, Bloomington, IN, Estados Unidos de AmericaRichard J Barbrick

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Aceptable

    EUR 17,50

    Envío por EUR 4,97 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: 1 disponibles

    paperback. Condición: Good. Softcover in Good condition. Minor wear to cover. Clean pages. Good binding. Carefully packaged to avoid damage in shipping.

  • Idioma: Inglés

    Editorial: Springer, 1971

    3540053778 / 9783540053774

    • Tapa blanda

    Librería: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Reino UnidoHay-on-Wye Booksellers

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Usado - Aceptable

    EUR 6,72

    Envío por EUR 29,04 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Condición: Good. Some marks to the cover on both sides. Inscription to the inside page, content may have a few areas of foxing, content is fine to read.

  • Idioma: Inglés

    Editorial: Springer-Verlag, 1971

    3540053778 / 9783540053774

    • Tapa blanda

    Librería: Alhambra Books, Edmonton, AB, CanadaAlhambra Books

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Aceptable

    EUR 8,96

    Envío por EUR 30,77 
    Se envía de Canada a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Trade Paperback. Condición: Good +. Lecture Notes in Mathematics 188. 372 pp. Wraps rubbed, edge and corner wear, small chip bottom edge. Interior unmarked. Spine straight and uncreased.

  • Idioma: Inglés

    Editorial: Springer, 1971

    3540053778 / 9783540053774

    • Tapa blanda

    Librería: Libros Ambigú, Madrid, M, EspañaLibros Ambigú

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Usado

    EUR 11,90

    Envío por EUR 31,00 
    Se envía de España a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Condición: Normal. Springer. Berlin 1971 24 x 17 cm., 372 pag. 1ª edicion. LECTURE NOTES IN MATHEMATICS. Tapa blanda; buen estado de conservacion. MATEMATICAS . Ejemplares disponibles: 1 Normal.

  • Idioma: Inglés

    Editorial: Springer, 1971

    3540053778 / 9783540053774

    • Tapa blanda

    Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 54,77

    Envío por EUR 13,11 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New. In English.

  • Idioma: Inglés

    Editorial: Springer, 1971

    3540053778 / 9783540053774

    • Tapa blanda

    Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 50,70

    Envío por EUR 35,00 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…

  • Idioma: Inglés

    Editorial: Springer, 1971

    3540053778 / 9783540053774

    • Tapa blanda

    Librería: Buchpark, Trebbin, AlemaniaBuchpark

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Excelente

    EUR 13,36

    Envío por EUR 105,00 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Condición: Sehr gut. Zustand: Sehr gut | Seiten: 380 | Sprache: Englisch | Produktart: Bücher | 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. …

  • Idioma: Inglés

    Editorial: Springer Berlin Heidelberg Jan 1971, 1971

    3540053778 / 9783540053774

    • Tapa blanda
    • Impresión bajo demanda

    Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 42,75

    Envío por EUR 23,00 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 2 disponibles

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

  • Idioma: Inglés

    Editorial: Springer Berlin Heidelberg, 1971

    3540053778 / 9783540053774

    • Tapa blanda
    • Impresión bajo demanda

    Librería: moluna, Greven, Alemaniamoluna

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 39,56

    Envío por EUR 48,99 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

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

  • Idioma: Inglés

    Editorial: Springer, Springer Vieweg Jan 1971, 1971

    3540053778 / 9783540053774

    • Tapa blanda
    • Impresión bajo demanda

    Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 42,75

    Envío por EUR 60,00 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 1 disponibles

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