International Symposium on Programming : 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings - Paperback
1984, ISBN: 3540129251
[EAN: 9783540129257], Neubuch, [SC: 35.65], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; PROGRAMMIERSPRACHEN; ATTRIBUT; SMALLTALK; DESIGN; LANGUAGE… More...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Shipping costs: EUR 35.65 Details... |
International Symposium on Programming : 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings - Paperback
1984, ISBN: 3540129251
[EAN: 9783540129257], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; PROGRAMMIERSPRACHEN; ATTRIBUT; SMALLTALK; DESIGN; LANGUAGE; … More...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) Details... |
International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings (Lecture Notes in Computer Science, 167, Band 167) - Paperback
2008, ISBN: 9783540129257
Springer, Taschenbuch, Auflage: 1984, 272 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: NUSTBK20171230-C0117695, 0.85 kg, Informatik, IT-Ausbildung & -Ber… More...
amazon.de Shipping costs:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
International Symposium on Programming 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings - new book
1984, ISBN: 3540129251
1984 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Programmiersprachen, Software Engineering, Attribut; Smalltalk; Design; Language; verification, mit S… More...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
ISBN: 9783540129257
*International Symposium on Programming* - 6th Colloquium Toulouse April 17-19 1984. Proceedings. Auflage 1984 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, Ratgeber, Computer & In… More...
Hugendubel.de 3540129251. Shipping costs:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
International Symposium on Programming : 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings - Paperback
1984, ISBN: 3540129251
[EAN: 9783540129257], Neubuch, [SC: 35.65], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; PROGRAMMIERSPRACHEN; ATTRIBUT; SMALLTALK; DESIGN; LANGUAGE… More...
B. Robinet:
International Symposium on Programming : 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings - Paperback1984, ISBN: 3540129251
[EAN: 9783540129257], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; PROGRAMMIERSPRACHEN; ATTRIBUT; SMALLTALK; DESIGN; LANGUAGE; … More...
International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings (Lecture Notes in Computer Science, 167, Band 167) - Paperback
2008
ISBN: 9783540129257
Springer, Taschenbuch, Auflage: 1984, 272 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: NUSTBK20171230-C0117695, 0.85 kg, Informatik, IT-Ausbildung & -Ber… More...
International Symposium on Programming 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings - new book
1984, ISBN: 3540129251
1984 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Programmiersprachen, Software Engineering, Attribut; Smalltalk; Design; Language; verification, mit S… More...
ISBN: 9783540129257
*International Symposium on Programming* - 6th Colloquium Toulouse April 17-19 1984. Proceedings. Auflage 1984 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, Ratgeber, Computer & In… More...
Bibliographic data of the best matching book
Details of the book - International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings (Lecture Notes in Computer Science, 167, Band 167)
EAN (ISBN-13): 9783540129257
ISBN (ISBN-10): 3540129251
Paperback
Publishing year: 1984
Publisher: Springer
262 Pages
Weight: 0,415 kg
Book in our database since 2007-06-21T11:15:41+01:00 (London)
Detail page last modified on 2024-01-20T21:54:19+00:00 (London)
ISBN/EAN: 3540129251
ISBN - alternate spelling:
3-540-12925-1, 978-3-540-12925-7
Alternate spelling and related search-keywords:
Book author: robinet, manfred paul
Book title: band, english computer science, international symposium programming, proceedings, toulouse, april siebzehn, colloquium, lecture notes computer science
Information from Publisher
Author: M. Paul; B. Robinet
Title: Lecture Notes in Computer Science; International Symposium on Programming - 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings
Publisher: Springer; Springer Berlin
263 Pages
Publishing year: 1984-04-01
Berlin; Heidelberg; DE
Language: English
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VI, 263 p.
BC; Hardcover, Softcover / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Attribut; Smalltalk; design; language; programming; verification; Compilers and Interpreters; Software Engineering; Software Engineering; EA
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.More/other books that might be very similar to this book
Latest similar book:
9780387129259 International Symposium on Programming: 6th Colloquium Toulouse, April 17-19, 1984 Proceedings (PAUL, M. & ROBINET, B.)
< to archive...