Montant total (1 article articles) :
Destination de la commande :
symposium semantics algorithmic languages (20 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (20)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (10)
- Comme neuf, Très bon ou Bon (1)
- Assez bon ou satisfaisant (7)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (2)
Reliure
- Toutes
- Couverture rigide (Aucun autre résultat ne correspond à ces critères)
- Couverture souple (19)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (7)
- Sans impressions à la demande (16)
Langue (2)
Livraison gratuite
Pays
Evaluation du vendeur
-
Symposium on Semantics of Algorithmic Languages Lecture Notes in Mathematics, 188
Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 3,45
Expédition à EUR 12,95
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierBroschiert. Etat : 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
Vendeur : Rob the Book Man, Vancouver, WA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 11,06
Expédition à EUR 5,89
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoft cover. Etat : Very Good. Trade paperback in very good - condition.
-
Symposium on Semantics of Algorithmic Languages
Vendeur : Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 3,90
Expédition à EUR 15,38
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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)
Vendeur : Books From California, Simi Valley, CA, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 21,02
Expédition à EUR 4,20
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierpaperback. Etat : Very Good.
-
Symposium on Semantics of Algorithmic Languages: 188 (Lecture Notes in Mathematics, 188) [Paperback] [Jan 04, 1971] Engeler, E.
Vendeur : Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 6,64
Expédition à EUR 28,68
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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 [Paperback] [Jan 01, 1971]
Vendeur : Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 10,28
Expédition à EUR 28,68
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
Vendeur : Libros Ambigú, Madrid, M, Espagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 12,75
Expédition à EUR 31
Expédition depuis Espagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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 (Paperback)
Langue: anglais
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1971
ISBN 10 : 3540053778 ISBN 13 : 9783540053774
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 54,92
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 56,13
Expédition à EUR 3,36
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Symposium on Semantics of Algorithmic Languages
Vendeur : Alhambra Books, Edmonton, AB, Canada
Évaluation du vendeur 4 sur 5 étoiles
EUR 8,93
Expédition à EUR 50,55
Expédition depuis Canada vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTrade Paperback. Etat : 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 (Lecture Notes in Mathematics, 188)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 47,63
Expédition à EUR 13,75
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 69,42
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Symposium on Semantics of Algorithmic Languages
Langue: anglais
Edité par Springer Berlin Heidelberg, 1971
ISBN 10 : 3540053778 ISBN 13 : 9783540053774
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 42,75
Expédition à EUR 62,88
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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 (Paperback)
Langue: anglais
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1971
ISBN 10 : 3540053778 ISBN 13 : 9783540053774
Vendeur : AussieBookSeller, Truganina, VIC, Australie
Évaluation du vendeur 5 sur 5 étoiles
EUR 85,47
Expédition à EUR 31,17
Expédition depuis Australie vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
EUR 9,75
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
Edité par Berlin ua Springer, 1971
Vendeur : Zentralantiquariat Leipzig GmbH, Leipzig, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 25
Expédition à EUR 48
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierVI, 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
Langue: anglais
Edité par Springer Berlin Heidelberg Jan 1971, 1971
ISBN 10 : 3540053778 ISBN 13 : 9783540053774
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 42,75
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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
Langue: anglais
Edité par Springer Berlin Heidelberg, 1971
ISBN 10 : 3540053778 ISBN 13 : 9783540053774
EUR 39,56
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : 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
Langue: anglais
Edité par Springer, Springer Berlin Heidelberg Jan 1971, 1971
ISBN 10 : 3540053778 ISBN 13 : 9783540053774
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 42,75
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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 GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch.
-
EUR 41,10
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Symposium on Semantics of Algorithmic Languages | E. Engeler | Taschenbuch | Einband - flex.(Paperback) | Englisch | Springer | EAN 9783540053774 | Verantwortliche Person für die EU: Springer-Verlag KG, Sachsenplatz 4-6, 1201 WIEN, ÖSTERREICH, productsafety[at]springernature[dot]com | Anbieter: preigu Print on Demand.
