Importe total (1 artículo artículos):
Destino del pedido:
symposium semantics algorithmic languages (15 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (15)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (5)
- Como nuevo, Excelente o Muy bueno (1)
- Bueno o Aceptable (7)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (2)
Encuadernación
- Todas
- Tapa dura (No hay ningún otro resultado que coincida con este filtro.)
- Tapa blanda (14)
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (6)
- No impresión bajo demanda (12)
Idioma (2)
Gastos de envío gratis
- Envío gratis a Estados Unidos de America (No hay ningún otro resultado que coincida con este filtro.)
Ubicación del vendedor
Valoración de los vendedores
-
Symposium on Semantics of Algorithmic Languages
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 3,93
Envío por EUR 15,73
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondició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.
-
Symposium on Semantics of Algorithmic Languages Lecture Notes in Mathematics, 188
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 3,45
Envío por EUR 15,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoBroschiert. 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.
-
Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)
Librería: Books From California, Simi Valley, CA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 19,21
Envío por EUR 4,23
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Very Good.
-
Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)
Librería: Richard J Barbrick, Bloomington, IN, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 19,18
Envío por EUR 4,79
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Good. Softcover in Good condition. Minor wear to cover. Clean pages. Good binding. Carefully packaged to avoid damage in shipping.
-
Symposium on Semantics of Algorithmic Languages: 188 (Lecture Notes in Mathematics, 188) [Paperback] [Jan 04, 1971] Engeler, E.
Librería: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 6,70
Envío por EUR 28,91
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondició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.
-
Symposium on Semantics of Algorithmic Languages
Librería: Alhambra Books, Edmonton, AB, Canada
Calificación del vendedor: 4 de 5 estrellas
EUR 8,95
Envío por EUR 29,69
Se envía de Canada a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTrade 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.
-
![Imagen de archivo de Symposium On Semantics Of Algorithmic Languages [Paperback] [Jan 01, 1971] a la venta por Hay-on-Wye Booksellers](https://pictures.abebooks.com/isbn/9780387053776-es-300.jpg)
Symposium On Semantics Of Algorithmic Languages [Paperback] [Jan 01, 1971]
Librería: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 10,36
Envío por EUR 28,91
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondició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.
-
SYMPOSIUM ON SEMANTICS OF ALGORITHMIC LANGUAGES.
Librería: Libros Ambigú, Madrid, M, España
Calificación del vendedor: 4 de 5 estrellas
EUR 12,75
Envío por EUR 31,00
Se envía de España a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondició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.
-
Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 49,17
Envío por EUR 13,85
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Symposium on Semantics of Algorithmic Languages
Idioma: Inglés
Publicado por Springer, Springer Vieweg, 1971
ISBN 10: 3540053778 ISBN 13: 9783540053774
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 42,75
Envío por EUR 62,88
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. 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.
-
Symposium on Semantics of Algorithmic Languages
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 13,36
Envío por EUR 105,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondició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.
-
Symposium on semantics of algorithmic languages. Ed. by E. Engeler.
Publicado por Berlin ua Springer, 1971
Librería: Zentralantiquariat Leipzig GmbH, Leipzig, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 25,00
Envío por EUR 48,00
Se 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.
-
Symposium on Semantics of Algorithmic Languages
Idioma: Inglés
Publicado por Springer Berlin Heidelberg Jan 1971, 1971
ISBN 10: 3540053778 ISBN 13: 9783540053774
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 42,75
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. 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.
-
Symposium on Semantics of Algorithmic Languages
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 1971
ISBN 10: 3540053778 ISBN 13: 9783540053774
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 39,56
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondició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.
-
Symposium on Semantics of Algorithmic Languages
Idioma: Inglés
Publicado por Springer, Springer Vieweg Jan 1971, 1971
ISBN 10: 3540053778 ISBN 13: 9783540053774
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 42,75
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. 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.
