Symposium semantics algorithmic languages (14 resultados)
- Tapa blanda
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemaniabooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 3,45
Envío por EUR 15,95Se envía de Alemania a Estados Unidos de AmericaCantidad 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.
- Tapa blanda
Librería: Anybook.com, Lincoln, Reino UnidoAnybook.com
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 3,97
Envío por EUR 15,90Se envía de Reino Unido a Estados Unidos de AmericaCantidad 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.
- Tapa blanda
Librería: Richard J Barbrick, Bloomington, IN, Estados Unidos de AmericaRichard J Barbrick
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 18,21
Envío por EUR 4,84Se envía dentro de Estados Unidos de AmericaCantidad 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.
- Tapa blanda
Librería: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Reino UnidoHay-on-Wye Booksellers
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Aceptable
EUR 6,77
Envío por EUR 29,22Se envía de Reino Unido a Estados Unidos de AmericaCantidad 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.
- Tapa blanda
Librería: Alhambra Books, Edmonton, AB, CanadaAlhambra Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 8,93
Envío por EUR 30,00Se envía de Canada a Estados Unidos de AmericaCantidad 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.
- Tapa blanda
Librería: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Reino UnidoHay-on-Wye Booksellers
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Bueno
EUR 10,47
Envío por EUR 29,22Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Very Good. Ex-library, usual stamps. Rebound as hardcover, brown cloth covers with gilt title on the spine, slight shelfwear to extremities of bookcovers, Previous owners signature on the inside cover and title page, otherwise fine.
- Tapa blanda
Librería: Libros Ambigú, Madrid, M, EspañaLibros Ambigú
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado
EUR 11,90
Envío por EUR 31,00Se envía de España a Estados Unidos de AmericaCantidad 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.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,06
Envío por EUR 14,00Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 42,75
Envío por EUR 62,88Se envía de Alemania a Estados Unidos de AmericaCantidad 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.
- Tapa blanda
Librería: Buchpark, Trebbin, AlemaniaBuchpark
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 13,36
Envío por EUR 105,00Se envía de Alemania a Estados Unidos de AmericaCantidad 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 element…ary 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.
Editorial: Berlin ua Springer, 1971
Librería: Zentralantiquariat Leipzig GmbH, Leipzig, AlemaniaZentralantiquariat Leipzig GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
OportunidadPrecio actual: EUR 20,00
Envío por EUR 48,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoVI, 372 S., 2 Bl. OBr. Umschl. angeschmutzt. St. u. Sign. a. Tit. (Lecture notes in mathematics 188). Sprache: Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 42,75
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad 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 eleme…ntary 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.
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 39,56
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad 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 m…eaning of elementary programs.- Procedur.
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 42,75
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad 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 elementar…y 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.
