Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Un modele de description de protocoles : Les reseaux fermes d'automates triphases.- Une expression de la synchronisation et de l'Ordonnancement des processus concurrents par variables partagees.- Semantiques comparees des systemes de programmation fonctionnelle FP et FFP de J.W. Backus.- Le type abstrait 'vecteur' et les methodes de programmation des ordinateurs vectoriels.- Some topics in the design of the specification language lotos.- Specification and verification of networks protocols using temporal logic.- Une impl�ntation des coroutines en Lisp, application �malltalk.- Vesta Vectorisation automatique et parametree de programmes.- L'Inclusion de filtres : Une approche de la creation d'environnements symboliques en Plasma.- Projet Vesta.- The program dependence graph and its use in optimization.- Implementations of nondeterministic programs.- For statements with restricted enumerations.- A method for developing concurrent systems.- An optimal-time recursive evaluator for attribute grammars.- On the Merlin-Randell problem of train journeys.- Un systeme d'aide a la preuve de compilateurs.- Optimized combinatoric code for applicative language implementation.- Polymorphic type schemes and recursive definitions.- Non-sequential behaviour.- Proving properties of Snobol4 patterns: Selecting the assertion format.- Polynomial-time analysis for a class of communicating processes. 272 pp. Englisch. Seller Inventory # 9783540129257

Contact seller

Buy New

� 48.54

Shipping: � 20.26

From Germany to U.S.A.

Quantity: 2 available

Add to basket

Seller Image

International Symposium on Programming

Paul, M.|Robinet, B.

Published by Springer Berlin Heidelberg, 1984

ISBN 10: 3540129251 ISBN 13: 9783540129257

New Softcover

Print on Demand

Seller: moluna, Greven, Germany

Seller rating 4 out of 5 stars

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Un modele de description de protocoles : Les reseaux fermes d automates triphases.- Une expression de la synchronisation et de l Ordonnancement des processus concurrents par variables partagees.- Semantiques comparees des systemes de programmation fonctionn. Seller Inventory # 4882011

Contact seller

Buy New

� 43.89

Shipping: � 43.16

From Germany to U.S.A.

Quantity: Over 20 available

Add to basket

Seller Image

International Symposium on Programming

B. Robinet

Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 1984, 1984

ISBN 10: 3540129251 ISBN 13: 9783540129257

New Taschenbuch

Print on Demand

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

Seller rating 5 out of 5 stars

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Un modele de description de protocoles : Les reseaux fermes d'automates triphases.- Une expression de la synchronisation et de l'Ordonnancement des processus concurrents par variables partagees.- Semantiques comparees des systemes de programmation fonctionnelle FP et FFP de J.W. Backus.- Le type abstrait 'vecteur' et les methodes de programmation des ordinateurs vectoriels.- Some topics in the design of the specification language lotos.- Specification and verification of networks protocols using temporal logic.- Une impl�ntation des coroutines en Lisp, application �malltalk.- Vesta Vectorisation automatique et parametree de programmes.- L'Inclusion de filtres : Une approche de la creation d'environnements symboliques en Plasma.- Projet Vesta.- The program dependence graph and its use in optimization.- Implementations of nondeterministic programs.- For statements with restricted enumerations.- A method for developing concurrent systems.- An optimal-time recursive evaluator for attribute grammars.- On the Merlin-Randell problem of train journeys.- Un systeme d'aide a la preuve de compilateurs.- Optimized combinatoric code for applicative language implementation.- Polymorphic type schemes and recursive definitions.- Non-sequential behaviour.- Proving properties of Snobol4 patterns: Selecting the assertion format.- Polynomial-time analysis for a class of communicating processes.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch. Seller Inventory # 9783540129257

Contact seller

Buy New

� 48.54

Shipping: � 52.86

From Germany to U.S.A.

Quantity: 1 available

Add to basket

Seller Image

International Symposium on Programming : 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings

B. Robinet

Published by Springer Berlin Heidelberg, 1984

ISBN 10: 3540129251 ISBN 13: 9783540129257

New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Un modele de description de protocoles : Les reseaux fermes d'automates triphases.- Une expression de la synchronisation et de l'Ordonnancement des processus concurrents par variables partagees.- Semantiques comparees des systemes de programmation fonctionnelle FP et FFP de J.W. Backus.- Le type abstrait 'vecteur' et les methodes de programmation des ordinateurs vectoriels.- Some topics in the design of the specification language lotos.- Specification and verification of networks protocols using temporal logic.- Une impl�ntation des coroutines en Lisp, application �malltalk.- Vesta Vectorisation automatique et parametree de programmes.- L'Inclusion de filtres : Une approche de la creation d'environnements symboliques en Plasma.- Projet Vesta.- The program dependence graph and its use in optimization.- Implementations of nondeterministic programs.- For statements with restricted enumerations.- A method for developing concurrent systems.- An optimal-time recursive evaluator for attribute grammars.- On the Merlin-Randell problem of train journeys.- Un systeme d'aide a la preuve de compilateurs.- Optimized combinatoric code for applicative language implementation.- Polymorphic type schemes and recursive definitions.- Non-sequential behaviour.- Proving properties of Snobol4 patterns: Selecting the assertion format.- Polynomial-time analysis for a class of communicating processes. Seller Inventory # 9783540129257

Contact seller

Buy New

� 48.54

Shipping: � 54.71

From Germany to U.S.A.

Quantity: 1 available

Add to basket

Seller Image

International Symposium on Programming | 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings

B. Robinet (u. a.)

Published by Springer-Verlag GmbH, 1984

ISBN 10: 3540129251 ISBN 13: 9783540129257

New Taschenbuch

Seller: preigu, Osnabr�ck, Germany

Seller rating 5 out of 5 stars

Contact seller

Buy New

� 45.69

Shipping: � 61.67

From Germany to U.S.A.

Quantity: 5 available

Add to basket

Stock Image

International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings (Lecture Notes in Computer Science (167))

Paul, M., Robinet, B.

Published by Springer, 1984

ISBN 10: 3540129251 ISBN 13: 9783540129257

Used Paperback

Seller: Mispah books, Redhill, SURRE, United Kingdom

Seller rating 4 out of 5 stars

Paperback. Condition: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA75835401292515

Contact seller

Buy Used

� 109

Shipping: � 25

From United Kingdom to U.S.A.

Quantity: 1 available

Add to basket

There are 3 more copies of this book

View all search results for this book