Importo totale (1 articolo articoli):
Destinazione ordine:
symposium semantics algorithmic languages (20 risultati)
Feedback
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (20)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (10)
- Come nuovo, Ottimo o Quasi ottimo (2)
- Molto buono o Buono (6)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (2)
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (19)
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (7)
- Non Print on Demand (17)
Lingua (2)
Spedizione gratuita
- Spedizione gratuita in Italia (Nessun altro risultato corrispondente a questo perfezionamento)
Paese del venditore
Valutazione 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
EUR 3,45
Convertire valutaEUR 9,95 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloBroschiert. 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.
-
EUR 3,89
Convertire valutaEUR 9,69 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: 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: 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
EUR 3,54
Convertire valutaEUR 18,32 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: 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
Editore: Springer Berlin Heidelberg, 1971
ISBN 10: 3540053778 ISBN 13: 9783540053774
Lingua: Inglese
Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
EUR 13,60
Convertire valutaEUR 12,00 per la spedizione da Spagna a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
-
![Immagine dell'editore per Symposium On Semantics Of Algorithmic Languages [Paperback] venduto da Hay-on-Wye Booksellers](https://pictures.abebooks.com/isbn/9780387053776-it-300.jpg)
Symposium On Semantics Of Algorithmic Languages [Paperback]
Da: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 9,40
Convertire valutaEUR 18,32 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: 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 (Lecture Notes in Mathematics, 188)
Da: Richard J Barbrick, Bloomington, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 16,42
Convertire valutaEUR 29,90 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: 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
Da: Rob the Book Man, Vancouver, WA, U.S.A.
Valutazione del venditore 3 su 5 stelle
EUR 11,22
Convertire valutaEUR 36,73 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloSoft cover. Condizione: Very Good. Trade paperback in very good - condition.
-
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
EUR 47,33
Convertire valutaEUR 10,30 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Symposium on Semantics of Algorithmic Languages
Editore: Springer Berlin Heidelberg, 1971
ISBN 10: 3540053778 ISBN 13: 9783540053774
Lingua: Inglese
EUR 42,75
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. 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.
-
Symposium on Semantics of Algorithmic Languages
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 58,07
Convertire valutaEUR 17,08 per la spedizione da U.S.A. a ItaliaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
-
Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 70,39
Convertire valutaEUR 7,69 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Symposium on Semantics of Algorithmic Languages
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 66,34
Convertire valutaEUR 17,08 per la spedizione da U.S.A. a ItaliaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 56,91
Convertire valutaEUR 64,07 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Symposium on Semantics of Algorithmic Languages (Paperback)
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1971
ISBN 10: 3540053778 ISBN 13: 9783540053774
Lingua: Inglese
Da: Grand Eagle Retail, Mason, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 60,41
Convertire valutaEUR 64,07 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: 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 (Paperback)
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1971
ISBN 10: 3540053778 ISBN 13: 9783540053774
Lingua: Inglese
Da: AussieBookSeller, Truganina, VIC, Australia
Valutazione del venditore 5 su 5 stelle
EUR 131,73
Convertire valutaEUR 31,61 per la spedizione da Australia a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Symposium on semantics of algorithmic languages. Ed. by E. Engeler.
Editore: Berlin ua Springer, 1971
Da: Zentralantiquariat Leipzig GmbH, Leipzig, Germania
Membro dell'associazione: BOEV
Valutazione del venditore 4 su 5 stelle
EUR 25,00
Convertire valutaEUR 20,50 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloVI, 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
Editore: Springer Berlin Heidelberg, 1971
ISBN 10: 3540053778 ISBN 13: 9783540053774
Lingua: Inglese
EUR 39,56
Convertire valutaEUR 9,70 per la spedizione da Germania a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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
Editore: Springer Berlin Heidelberg Jan 1971, 1971
ISBN 10: 3540053778 ISBN 13: 9783540053774
Lingua: Inglese
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 42,75
Convertire valutaEUR 11,00 per la spedizione da Germania a ItaliaQuantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. 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.
-
Symposium on Semantics of Algorithmic Languages
Editore: Springer, Springer Berlin Heidelberg Jan 1971, 1971
ISBN 10: 3540053778 ISBN 13: 9783540053774
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 42,75
Convertire valutaEUR 15,00 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
