ISBN: 9783540388098
Computer Science; Programming Languages, Compilers, Interpreters; Software Engineering Attribut, Smalltalk, design, language, programming, verification Books eBook, Springer Science+Busin… Altro …
Springer.com Costi di spedizione:zzgl. Versandkosten, Costi di spedizione aggiuntivi Details... |
ISBN: 9783540388098
Computer Science; Programming Languages, Compilers, Interpreters; Software Engineering Attribut, Smalltalk, design, language, programming, verification Books eBook, Springer Nature
Springer.com Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi Details... |
ISBN: 9783540388098
There is currently no description available Books > Computer Science eBook, Springer Shop
Springer.com new in stock. Costi di spedizione:zzgl. Versandkosten. (EUR 0.00) Details... |
ISBN: 9783540388098
Computer Science; Programming Languages, Compilers, Interpreters; Software Engineering Attribut, Smalltalk, design, language, programming, verification Books eBook, Springer Science+Busin… Altro …
ISBN: 9783540388098
Computer Science; Programming Languages, Compilers, Interpreters; Software Engineering Attribut, Smalltalk, design, language, programming, verification Books eBook, Springer Nature
ISBN: 9783540388098
There is currently no description available Books > Computer Science eBook, Springer Shop
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - International Symposium on Programming
EAN (ISBN-13): 9783540388098
Editore: Springer Science+Business Media
Libro nella banca dati dal 2017-06-04T23:16:18+02:00 (Rome)
Pagina di dettaglio ultima modifica in 2021-08-28T07:54:52+02:00 (Rome)
ISBN/EAN: 9783540388098
ISBN - Stili di scrittura alternativi:
978-3-540-38809-8
Dati dell'editore
Autore: M. Paul; B. Robinet
Titolo: Lecture Notes in Computer Science; International Symposium on Programming - 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings
Editore: Springer; Springer Berlin
263 Pagine
Anno di pubblicazione: 2005-06-30
Berlin; Heidelberg; DE
Lingua: Inglese
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
VI, 263 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Attribut; Smalltalk; design; language; programming; verification; C; Compilers and Interpreters; Software Engineering; Computer Science; Software Engineering; BC
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.Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9783642166891 Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings (Shengchao Qin)
- 9783642166891 Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings (Shengchao Qin)
- 9783540099819 International Symposium on Programming: Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980 (Lecture Notes in Computer Science, 83, Band 83) (Robinet, B.)
- 9780387099811 International Symposium on Programming: Proceedings of the Fourth Colloque International Sur LA Programmation, Paris, 22-24 April 1980 (Lecture Notes in Computer Science, 83) (n/a)
< Per archiviare...