Items related to International Symposium on Programming: 6th Colloquium,...
International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings (Lecture Notes in Computer Science, 167) - Softcover
Synopsis
International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings (Lecture Notes in Computer Science) (English and French Edition)
"synopsis" may belong to another edition of this title.
Search results for International Symposium on Programming: 6th Colloquium,...
Seller Image
International Symposium on Programming : 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5908320-n
Quantity: 15 available
Stock Image
International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings (Lecture Notes in Computer Science, 167)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020160016
Quantity: Over 20 available
Stock Image
International Symposium on Programming (Paperback)
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1984
ISBN 10: 3540129251
ISBN 13: 9783540129257
New
Paperback
Seller: Grand Eagle Retail, Mason, OH, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783540129257
Quantity: 1 available
Seller Image
International Symposium on Programming : 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5908320
Quantity: 15 available
Stock Image
International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings (Lecture Notes in Computer Science, 167)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540129257_new
Quantity: Over 20 available
Stock Image
International Symposium on Programming : 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540129257
Quantity: 10 available
Seller Image
International Symposium on Programming
Published by
Springer Berlin Heidelberg, 1984
ISBN 10: 3540129251
ISBN 13: 9783540129257
New
Softcover
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
Quantity: Over 20 available
Seller Image
International Symposium on Programming
Published by
Springer Berlin Heidelberg Apr 1984, 1984
ISBN 10: 3540129251
ISBN 13: 9783540129257
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
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, Französisch. Seller Inventory # 9783540129257
Quantity: 2 available
Seller Image
International Symposium on Programming
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 1984, 1984
ISBN 10: 3540129251
ISBN 13: 9783540129257
New
Taschenbuch
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
Quantity: 1 available
Seller Image
International Symposium on Programming : 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings
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
Quantity: 1 available