Artículos relacionados a Symposium on Semantics of Algorithmic Languages: 188...
Symposium on Semantics of Algorithmic Languages: 188 (Lecture Notes in Mathematics, 188) - Tapa blanda
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
De la contraportada
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
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
Comprar usado
EUR 3,45
Envío por EUR 15,95
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Symposium on Semantics of Algorithmic Languages
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
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. Nº de ref. del artículo: 2931213
Comprar usado
EUR 4,07
Envío por EUR 15,83
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
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: 4 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-6a
Comprar usado
EUR 6,93
Envío por EUR 29,94
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Symposium on Semantics of Algorithmic Languages
Publicado por
Springer-Verlag, 1971
ISBN 10: 3540053778
ISBN 13: 9783540053774
Antiguo o usado
Trade Paperback
Librería: Alhambra Books, Edmonton, AB, Canada
Calificación del vendedor: 5 de 5 estrellas
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. Nº de ref. del artículo: 023154
Comprar usado
EUR 9,10
Envío por EUR 31,19
Se envía de Canada a Estados Unidos de America
Se envía de Canada a Estados Unidos de America
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
Comprar usado
EUR 11,90
Envío por EUR 31,00
Se envía de España a Estados Unidos de America
Se envía de España a Estados Unidos de America
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
Comprar nuevo
EUR 42,75
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Symposium on Semantics of Algorithmic Languages
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 5907403-n
Comprar nuevo
EUR 66,15
Envío por EUR 2,35
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen de archivo
Symposium on Semantics of Algorithmic Languages
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 5907403
Comprar usado
EUR 69,43
Envío por EUR 2,35
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen del vendedor
Symposium on Semantics of Algorithmic Languages
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
Comprar nuevo
EUR 52,74
Envío por EUR 35,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
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
Comprar nuevo
EUR 39,56
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles