Importe total (1 artículo artículos):
Destino del pedido:
symposium semantics algorithmic languages (17 resultados)
Comentarios
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (17)
- 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 (8)
- Como nuevo, Excelente o Muy bueno (1)
- Bueno o Aceptable (6)
- 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 (16)
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 (15)
Idioma (2)
Gastos de envío gratis
- Envío gratis a España (No hay ningún otro resultado que coincida con este filtro.)
Ubicación del vendedor
Valoración de los vendedores
-
![Imagen de archivo de Symposium on Semantics of Algorithmic Languages: 188 (Lecture Notes in Mathematics, 188) [Paperback] Engeler, E. a la venta por Hay-on-Wye Booksellers](https://pictures.abebooks.com/isbn/9783540053774-es-300.jpg)
Symposium on Semantics of Algorithmic Languages: 188 (Lecture Notes in Mathematics, 188) [Paperback] Engeler, E.
Librería: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 3,56
Convertir monedaEUR 9,80 gastos de envío desde Reino Unido a EspañaCantidad 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 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
Convertir monedaEUR 9,95 gastos de envío desde Alemania a EspañaCantidad 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.
Librería: Libros Ambigú, Madrid, M, España
Calificación del vendedor: 5 de 5 estrellas
EUR 13,60
Convertir monedaEUR 1,49 gastos de envío en EspañaCantidad 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.
-
![Imagen de archivo de Symposium On Semantics Of Algorithmic Languages [Paperback] a la venta por Hay-on-Wye Booksellers](https://pictures.abebooks.com/isbn/9780387053776-es-300.jpg)
Symposium On Semantics Of Algorithmic Languages [Paperback]
Librería: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 9,46
Convertir monedaEUR 9,80 gastos de envío desde Reino Unido a EspañaCantidad 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
Publicado por Springer Berlin Heidelberg, 1971
ISBN 10: 3540053778 ISBN 13: 9783540053774
Idioma: Inglés
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 14,90 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
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: 5 de 5 estrellas
EUR 16,78
Convertir monedaEUR 29,86 gastos de envío desde Estados Unidos de America a EspañaCantidad 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 (Lecture Notes in Mathematics, 188)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 47,63
Convertir monedaEUR 5,17 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Symposium on Semantics of Algorithmic Languages
Librería: Rob the Book Man, Vancouver, WA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 17,37
Convertir monedaEUR 36,68 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoSoft cover. Condición: Very Good. Trade paperback in very good - condition.
-
Symposium on Semantics of Algorithmic Languages
Publicado por Springer Berlin Heidelberg, 1971
ISBN 10: 3540053778 ISBN 13: 9783540053774
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 42,75
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad 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 (Lecture Notes in Mathematics, 188)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 70,30
Convertir monedaEUR 6,83 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)
Librería: Best Price, Torrance, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 52,64
Convertir monedaEUR 25,58 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New. SUPER FAST SHIPPING.
-
Symposium on Semantics of Algorithmic Languages
Publicado por Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1971, 1971
ISBN 10: 3540053778 ISBN 13: 9783540053774
Idioma: Inglés
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 42,75
Convertir monedaEUR 35,00 gastos de envío desde Alemania a EspañaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. 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
Librería: Alhambra Books, Edmonton, AB, Canada
Calificación del vendedor: 5 de 5 estrellas
EUR 8,90
Convertir monedaEUR 85,32 gastos de envío desde Canada a EspañaCantidad 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.
-
Symposium on semantics of algorithmic languages. Ed. by E. Engeler.
Publicado por Berlin ua Springer, 1971
Librería: Zentralantiquariat Leipzig GmbH, Leipzig, Alemania
Miembro de asociación: BOEV
Calificación del vendedor: 5 de 5 estrellas
EUR 25,00
Convertir monedaEUR 20,50 gastos de envío desde Alemania a EspañaCantidad 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 (Lecture Notes in Mathematics, 188)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 56,84
Convertir monedaEUR 63,99 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Symposium on Semantics of Algorithmic Languages
Publicado por Springer Berlin Heidelberg Jan 1971, 1971
ISBN 10: 3540053778 ISBN 13: 9783540053774
Idioma: Inglés
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 42,75
Convertir monedaEUR 11,00 gastos de envío desde Alemania a EspañaCantidad 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
Publicado por Springer Berlin Heidelberg, 1971
ISBN 10: 3540053778 ISBN 13: 9783540053774
Idioma: Inglés
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 39,56
Convertir monedaEUR 19,49 gastos de envío desde Alemania a EspañaCantidad 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.
