International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings: 167 (Lecture Notes in Computer Science) - Tapa blanda
Otras ediciones populares con el mismo título
Resultados de la búsqueda para International Symposium on Programming: 6th Colloquium,...
Imagen de archivo
International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020160016
Comprar nuevo
EUR 52,87
Gastos de envío:
EUR 3,44
A Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540129257_new
Comprar nuevo
EUR 57,73
Gastos de envío:
EUR 13,67
De Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
International Symposium on Programming : 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783540129257
Comprar nuevo
EUR 56,13
Gastos de envío:
EUR 17,67
De Reino Unido a Estados Unidos de America
Cantidad disponible: 10 disponibles
Imagen del vendedor
International Symposium on Programming
Publicado por
Springer Berlin Heidelberg, Springer Apr 1984, 1984
ISBN 10: 3540129251
ISBN 13: 9783540129257
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783540129257
Comprar nuevo
EUR 53,49
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
International Symposium on Programming
Publicado por
Springer Berlin Heidelberg, 1984
ISBN 10: 3540129251
ISBN 13: 9783540129257
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: 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. Nº de ref. del artículo: 4882011
Comprar nuevo
EUR 48,37
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
International Symposium on Programming
Publicado por
Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 1984, 1984
ISBN 10: 3540129251
ISBN 13: 9783540129257
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783540129257
Comprar nuevo
EUR 53,49
Gastos de envío:
EUR 60,00
De Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
International Symposium on Programming : 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings
Publicado por
Springer Berlin Heidelberg, 1984
ISBN 10: 3540129251
ISBN 13: 9783540129257
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783540129257
Comprar nuevo
EUR 53,49
Gastos de envío:
EUR 62,09
De Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings (Lecture Notes in Computer Science (167))
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book. Nº de ref. del artículo: ERICA75835401292515
Comprar usado
EUR 128,08
Gastos de envío:
EUR 28,52
De Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
International Symposium on Programming
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 272. Nº de ref. del artículo: 263095919
Comprar nuevo
EUR 155,08
Gastos de envío:
EUR 3,44
A Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
International Symposium on Programming
Impresión bajo demandaLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Print on Demand pp. 272 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Nº de ref. del artículo: 5800624
Comprar nuevo
EUR 166,26
Gastos de envío:
EUR 7,42
De Reino Unido a Estados Unidos de America
Cantidad disponible: 4 disponibles