Articoli correlati a Symposium on Semantics of Algorithmic Languages: 188
Contenuti
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 39,56
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per Symposium on Semantics of Algorithmic Languages: 188
Immagini fornite dal venditore
Symposium on Semantics of Algorithmic Languages Lecture Notes in Mathematics, 188
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
Broschiert. Condizione: 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. Codice articolo 2194682
Quantità: 1 disponibili
Foto dell'editore
Symposium on Semantics of Algorithmic Languages: 188 (Lecture Notes in Mathematics, 188) [Paperback] Engeler, E.
Da: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 009688-6
Quantità: 1 disponibili
Foto dell'editore
Symposium on Semantics of Algorithmic Languages
Editore:
Springer Berlin Heidelberg, 1971
ISBN 10: 3540053778
ISBN 13: 9783540053774
Antico o usato
Brossura
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 380 | Sprache: Englisch | Produktart: Bücher. Codice articolo 4132904/202
Quantità: 1 disponibili
Foto dell'editore
SYMPOSIUM ON SEMANTICS OF ALGORITHMIC LANGUAGES.
Da: Libros Ambigú, Madrid, M, Spagna
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 700084933
Quantità: 1 disponibili
Foto dell'editore
Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)
Da: Richard J Barbrick, Bloomington, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: Good. Softcover in Good condition. Minor wear to cover. Clean pages. Good binding. Carefully packaged to avoid damage in shipping. Codice articolo 100509-Symposium
Quantità: 1 disponibili
Immagini fornite dal venditore
Symposium on Semantics of Algorithmic Languages
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 4878742
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Symposium on Semantics of Algorithmic Languages
Editore:
Springer Berlin Heidelberg Jan 1971, 1971
ISBN 10: 3540053778
ISBN 13: 9783540053774
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783540053774
Quantità: 2 disponibili
Immagini fornite dal venditore
Symposium on Semantics of Algorithmic Languages
Editore:
Springer Berlin Heidelberg, 1971
ISBN 10: 3540053778
ISBN 13: 9783540053774
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783540053774
Quantità: 1 disponibili
Immagini fornite dal venditore
Symposium on Semantics of Algorithmic Languages
ISBN 10: 3540053778
ISBN 13: 9783540053774
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783540053774
Quantità: 2 disponibili
Foto dell'editore
Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540053774_new
Quantità: Più di 20 disponibili