Montant total (1 article articles) :
Destination de la commande :
winskel glynn (39 résultats)
Commentaires
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (39)
- 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 (29)
- Comme neuf, Très bon ou Bon (1)
- Assez bon ou satisfaisant (8)
- Moyen ou mauvais (1)
- Conformément à la description (Aucun autre résultat ne correspond à ces critères)
Particularités
- Ed. originale (1)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (11)
- Sans impressions à la demande (28)
Langue (3)
Livraison gratuite
- Livraison gratuite à destination de France (Aucun autre résultat ne correspond à ces critères)
Pays
Evaluation du vendeur
-
Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984 (Lecture Notes in Computer Science)
Vendeur : Munster & Company LLC, ABAA/ILAB, Corvallis, OR, Etats-Unis
Membre d'association : ABAA CBA ILAB
Évaluation du vendeur 5 sur 5 étoiles
EUR 13,52
Autre deviseEUR 21,58 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. Springer, 1985. This Book is in Good Condition. Normal wear to covers and edges, interior lightly age-toned, text is clean with no marks, binding tight. Not Ex- Library or Remaindered. 100% Guaranteed. paperback. Good.
-
The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)
Edité par Mit Pr (edition First Edition), 1993
ISBN 10 : 0262231697 ISBN 13 : 9780262231695
Langue: anglais
Vendeur : BooksRun, Philadelphia, PA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 37,91
Autre deviseEUR 9,49 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Fair. First Edition. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
-
The Formal Semantics of Programming Languages : An Introduction
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 41,83
Autre deviseEUR 12,11 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
-
Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984 (Lecture Notes in Computer Science, 197)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,08
Autre deviseEUR 4,58 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Seminar on Concurrency : Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984
Edité par Springer Berlin Heidelberg, 1985
ISBN 10 : 3540156704 ISBN 13 : 9783540156703
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Autre deviseEUR 10,99 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - On the axiomatic treatment of concurrency.- Hierarchical development of concurrent systems in a temporal logic framework.- On the composition and decomposition of assertions.- Process algebra with asynchronous communication mechanisms.- Axioms for memory access in asynchronous hardware systems.- Executing temporal logic programs.- The static derivation of concurrency and its mechanized certification.- Semantic considerations in the actor paradigm of concurrent computation.- The pomset model of parallel processes: Unifying the temporal and the spatial.- Lectures on a calculus for communicating systems.- Concurrent behaviour: Sequences, processes and axioms.- Categories of models for concurrency.- Maximally concurrent evolution of non-sequential systems.- An improved failures model for communicating processes.- Denotational semantics for occam.- Linguistic support of receptionists for shared resources.- Applications of topology to semantics of communicating processes.- Denotational models based on synchronously communicating processes: Refusal, acceptance, safety.- The ESTEREL synchronous programming language and its mathematical semantics.- An implementation model of rendezvous communication.- A fully abstract model of fair asynchrony.- Alternative semantics for McCarthy's amb.- Semantics of networks containing indeterminate operators.- Abstract interpretation and indeterminacy.- The NIL distributed systems programming language: A status report.
-
Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984 (Lecture Notes in Computer Science)
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 12,44
Autre deviseEUR 56,11 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Formal Semantics of Programming Languages
Vendeur : SecondSale, Montgomery, IL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 43,91
Autre deviseEUR 30,21 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc.
-
The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)
Vendeur : Friends of Johnson County Library, Lenexa, KS, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 36,70
Autre deviseEUR 38,42 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. Hardcover book. The exterior can have various markings and wear. The pages appear to be clean and unmarked. All items ship Monday - Saturday - Fast Shipping in a secure package. Your purchase will help support the programs and collections of the Johnson County (Kansas) Library.
-
LA SEMANTICA FORMALE DEI LINGUAGGI DI PROGRAMMAZIONE (ita)
Vendeur : Brook Bookstore, Milano, MI, Italie
Évaluation du vendeur 5 sur 5 étoiles
EUR 33,87
Autre deviseEUR 6,99 expédition depuis Italie vers FranceQuantité disponible : 11 disponible(s)
Ajouter au panierEtat : new.
-
Formal Semantics of Programming Languages
Vendeur : Mahler Books, PFLUGERVILLE, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 39,97
Autre deviseEUR 47,44 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Good. This book is in good condition; no remainder marks. It does have some cover shelfwear, edge wear, corner wear. Inside pages are clean. ; 7 X 0.87 X 9 inches; 384 pages.
-
Formal Semantics of Programming Languages
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 88,68
Autre deviseEUR 4,58 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Formal Semantics of Programming Languages
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 104,79
Autre deviseEUR 7,77 expédition depuis Etats-Unis vers FranceQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New.
-
Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984 (Lecture Notes in Computer Science, 197)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,35
Autre deviseEUR 64,74 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
The Formal Semantics of Programming Languages
Vendeur : Rarewaves.com UK, London, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 124,70
Autre deviseEUR 2,30 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback. Etat : New.
-
The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 36,71
Autre deviseEUR 90,64 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)
Vendeur : Toscana Books, AUSTIN, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 104,96
Autre deviseEUR 25,90 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks.
-
Formal Semantics of Programming Languages
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 40,42
Autre deviseEUR 90,64 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierpaperback. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Automata, Languages and Programming
Edité par Springer Berlin Heidelberg, 1998
ISBN 10 : 3540647813 ISBN 13 : 9783540647812
Langue: anglais
EUR 118,64
Autre deviseEUR 9,70 expédition depuis Allemagne vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierKartoniert / Broschiert. Etat : New. This book constitutes the refereed proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP 98, held in Aalborg, Denmark, in July 1998.The 70 revised full papers presented together with eight invited contributions w.
-
The Formal Semantics of Programming Languages
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 132,48
Autre deviseEUR 2,30 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback. Etat : New.
-
Automata, Languages and Programming: 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings (Lecture Notes in Computer Science, 1443)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 140,02
Autre deviseEUR 4,58 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Formal Semantics of Programming Languages
Vendeur : Toscana Books, AUSTIN, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 121,15
Autre deviseEUR 25,90 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks.
-
Formal Semantics of Programming Languages
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 84,53
Autre deviseEUR 64,74 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Automata, Languages and Programming
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 145,57
Autre deviseEUR 7,77 expédition depuis Etats-Unis vers FranceQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 956.
-
Automata, Languages and Programming : 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings
Edité par Springer, Berlin, Springer Berlin Heidelberg, Springer, 1998
ISBN 10 : 3540647813 ISBN 13 : 9783540647812
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 148,42
Autre deviseEUR 10,99 expédition depuis Allemagne vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware - This book constitutes the refereed proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98, held in Aalborg, Denmark, in July 1998.The 70 revised full papers presented together with eight invited contributions were carefully selected from a total of 182 submissions. The book is divided in topical sections on complexitiy, verification, data structures, concurrency, computational geometry, automata and temporal logic, algorithms, infinite state systems, semantics, approximation, thorem proving, formal languages, pi-calculus, automata and BSP, rewriting, networking and routing, zero-knowledge, quantum computing, etc.
-
Automata, Languages and Programming: 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings (Lecture Notes in Computer Science, 1443)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 104,63
Autre deviseEUR 64,74 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Automata, Languages and Programming: 25th International Colloquium, Icalp'98, Aalborg, Denmark, July 13-17, 1998, Proceedings
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 163,09
Autre deviseEUR 11,48 expédition depuis Royaume-Uni vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 1st edition. 932 pages. 9.00x6.00x1.50 inches. In Stock.
-
Automata, Languages and Programming: 25th International Colloquium, ICALP*98, Aalborg, Denmark July 13-17, 1998, Proceedings (Lecture Notes in Computer Science (1443))
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 163,17
Autre deviseEUR 28,70 expédition depuis Royaume-Uni vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Like New. Like New. book.
-
 mis en vente par liu xing](https://pictures.abebooks.com/inventory/md/md7135756000.jpg)
EUR 54,14
Autre deviseEUR 12,95 expédition depuis Chine vers FranceQuantité disponible : 3 disponible(s)
Ajouter au panierpaperback. Etat : New. Language:Chinese.Paperback. Pages Number: 283 Publisher: ; 1 (200411). Aarhus.
-
Seminar on Concurrency
Edité par Springer Berlin Heidelberg, 1985
ISBN 10 : 3540156704 ISBN 13 : 9783540156703
Langue: anglais
EUR 48,37
Autre deviseEUR 9,70 expédition depuis Allemagne vers FranceQuantité 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. On the axiomatic treatment of concurrency.- Hierarchical development of concurrent systems in a temporal logic framework.- On the composition and decomposition of assertions.- Process algebra with asynchronous communication mechanisms.- Axioms for memory ac.
-
Seminar on Concurrency
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 1985, 1985
ISBN 10 : 3540156704 ISBN 13 : 9783540156703
Langue: anglais
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Autre deviseEUR 15 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -On the axiomatic treatment of concurrency.- Hierarchical development of concurrent systems in a temporal logic framework.- On the composition and decomposition of assertions.- Process algebra with asynchronous communication mechanisms.- Axioms for memory access in asynchronous hardware systems.- Executing temporal logic programs.- The static derivation of concurrency and its mechanized certification.- Semantic considerations in the actor paradigm of concurrent computation.- The pomset model of parallel processes: Unifying the temporal and the spatial.- Lectures on a calculus for communicating systems.- Concurrent behaviour: Sequences, processes and axioms.- Categories of models for concurrency.- Maximally concurrent evolution of non-sequential systems.- An improved failures model for communicating processes.- Denotational semantics for occam.- Linguistic support of receptionists for shared resources.- Applications of topology to semantics of communicating processes.- Denotational models based on synchronously communicating processes: Refusal, acceptance, safety.- The ESTEREL synchronous programming language and its mathematical semantics.- An implementation model of rendezvous communication.- A fully abstract model of fair asynchrony.- Alternative semantics for McCarthy's amb.- Semantics of networks containing indeterminate operators.- Abstract interpretation and indeterminacy.- The NIL distributed systems programming language: A status report.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 540 pp. Englisch.
