Artículos relacionados a International Symposium on Programming: 6th Colloquium,...
International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings: 167 (Lecture Notes in Computer Science) - Tapa blanda
Comprar nuevo
Ver este artículo
EUR 58,27
EUR 5,17 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envío
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 (Lecture Notes in Computer Science, 167)
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
Cantidad disponible: Más de 20 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
Cantidad disponible: 1 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: 5 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
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings (Lecture Notes in Computer Science, 167)
Librería: Best Price, Torrance, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. SUPER FAST SHIPPING. Nº de ref. del artículo: 9783540129257
Cantidad disponible: 2 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
Cantidad disponible: 10 disponibles
Imagen del vendedor
International Symposium on Programming
Publicado por
Springer Berlin Heidelberg 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, Französisch. Nº de ref. del artículo: 9783540129257
Cantidad disponible: 2 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
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: 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
Cantidad disponible: Más de 20 disponibles