International Symposium on Programming | 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings
B. Robinet (u. a.)
ISBN 10: 3540129251 ISBN 13: 9783540129257
Editore: Springer-Verlag GmbH, 1984
Nuovi
Taschenbuch
Da
preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 5 agosto 2024
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
International Symposium on Programming | 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings | B. Robinet (u. a.) | Taschenbuch | vi | Englisch | 1984 | Springer-Verlag GmbH | EAN 9783540129257 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Codice articolo 102153852
Contenuti: 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émentation des coroutines en Lisp, application à Smalltalk.- 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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: International Symposium on Programming | 6th...
Casa editrice: Springer-Verlag GmbH
Data di pubblicazione: 1984
Legatura: Taschenbuch
Condizione: Neu
I migliori risultati di ricerca su AbeBooks
Immagini fornite dal venditore
International Symposium on Programming
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: 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. Codice articolo 4882011
Compra nuovo
EUR 48,37
Spese di spedizione:
EUR 48,99
Da: Germania a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings
Da: Best Price, Torrance, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. SUPER FAST SHIPPING. Codice articolo 9783540129257
Compra nuovo
EUR 48,82
Spese di spedizione:
EUR 7,74
In U.S.A.
Quantità: 2 disponibili
Foto dell'editore
International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020160016
Compra nuovo
EUR 52,86
Spese di spedizione:
EUR 3,44
In U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
International Symposium on Programming : 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings
Editore:
Springer Berlin Heidelberg, 1984
ISBN 10: 3540129251
ISBN 13: 9783540129257
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783540129257
Compra nuovo
EUR 53,49
Spese di spedizione:
EUR 62,09
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
International Symposium on Programming
Editore:
Springer Berlin Heidelberg, Springer Apr 1984, 1984
ISBN 10: 3540129251
ISBN 13: 9783540129257
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783540129257
Compra nuovo
EUR 53,49
Spese di spedizione:
EUR 23,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
International Symposium on Programming
ISBN 10: 3540129251
ISBN 13: 9783540129257
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783540129257
Compra nuovo
EUR 53,49
Spese di spedizione:
EUR 60,00
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
International Symposium on Programming : 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783540129257
Compra nuovo
EUR 56,17
Spese di spedizione:
EUR 17,68
Da: Regno Unito a: U.S.A.
Quantità: 10 disponibili
Foto dell'editore
International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540129257_new
Compra nuovo
EUR 57,76
Spese di spedizione:
EUR 13,68
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings (Lecture Notes in Computer Science (167))
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book. Codice articolo ERICA75835401292515
Compra usato
EUR 128,17
Spese di spedizione:
EUR 28,54
Da: Regno Unito a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
International Symposium on Programming
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 272. Codice articolo 263095919
Compra nuovo
EUR 155,05
Spese di spedizione:
EUR 3,44
In U.S.A.
Quantità: 4 disponibili