Artículos relacionados a Symposium on Semantics of Algorithmic Languages: 188...
Comprar nuevo
Ver este artículo
EUR 42,75
EUR 11,00 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Symposium on Semantics of Algorithmic Languages: 188...
Imagen del vendedor
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
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. Nº de ref. del artículo: 2194682
Cantidad disponible: 1 disponibles
Imagen de archivo
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
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. Nº de ref. del artículo: 009688-6
Cantidad disponible: 1 disponibles
Imagen de archivo
SYMPOSIUM ON SEMANTICS OF ALGORITHMIC LANGUAGES.
Librería: Libros Ambigú, Madrid, M, España
Calificación del vendedor: 5 de 5 estrellas
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. Nº de ref. del artículo: 700084933
Cantidad disponible: 1 disponibles
Imagen de archivo
Symposium on Semantics of Algorithmic Languages
Publicado por
Springer Berlin Heidelberg, 1971
ISBN 10: 3540053778
ISBN 13: 9783540053774
Antiguo o usado
Tapa blanda
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Sehr gut. Zustand: Sehr gut | Seiten: 380 | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 4132904/202
Cantidad disponible: 1 disponibles
Imagen de archivo
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
paperback. Condición: Good. Softcover in Good condition. Minor wear to cover. Clean pages. Good binding. Carefully packaged to avoid damage in shipping. Nº de ref. del artículo: 100509-Symposium
Cantidad disponible: 1 disponibles
Imagen del vendedor
Symposium on Semantics of Algorithmic Languages
Publicado por
Springer Berlin Heidelberg Jan 1971, 1971
ISBN 10: 3540053778
ISBN 13: 9783540053774
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
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. Nº de ref. del artículo: 9783540053774
Cantidad disponible: 2 disponibles
Imagen de archivo
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
Condición: New. In. Nº de ref. del artículo: ria9783540053774_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Symposium on Semantics of Algorithmic Languages
Publicado por
Springer Berlin Heidelberg, 1971
ISBN 10: 3540053778
ISBN 13: 9783540053774
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
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. Nº de ref. del artículo: 9783540053774
Cantidad disponible: 1 disponibles
Imagen del vendedor
Symposium on Semantics of Algorithmic Languages
Publicado por
Springer Berlin Heidelberg, 1971
ISBN 10: 3540053778
ISBN 13: 9783540053774
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
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. Nº de ref. del artículo: 4878742
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
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
Condición: New. Nº de ref. del artículo: I-9783540053774
Cantidad disponible: Más de 20 disponibles