Del 167 - Lecture Notes in Computer Science

International Symposium on Programming

6th Colloquium, Toulouse, April 17-19, 1984. Proceedings

Häftad, Engelska, 1984

Av M. Paul, B. Robinet

739 kr

Beställningsvara. Skickas inom 7-10 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1984-04-01
Mått155 x 235 x 15 mm
Vikt417 g
SpråkEngelska, Franska
SerieLecture Notes in Computer Science
Antal sidor263
Upplaga1984
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
EAN9783540129257

Du kanske också är intresserad av

International Symposium on Programming

Del 83

International Symposium on Programming

739 kr

Den yttersta hemligheten

Nyhet

Del 6

Den yttersta hemligheten

329 kr

Programming Symposium

Del 19

Programming Symposium

519 kr

Success in Referential Communication

Success in Referential Communication

1 409 kr

Success in Referential Communication

Success in Referential Communication

1 409 kr

Mathematical Studies of Information Processing

Del 75

Mathematical Studies of Information Processing

E.K. Blum, M. Paul, S. Takasu, E. K. Blum

1 459 kr

GI — 19. Jahrestagung II

Del 223

GI — 19. Jahrestagung II

M. Paul, M. Paul

739 kr

Genetische Diagnostik in Geburtshilfe Und Gynakologie

Genetische Diagnostik in Geburtshilfe Und Gynakologie

G Tariverdian, M Paul, G. Tariverdian, M. Paul

1 229 kr

Distributed Systems - Architecture and Implementation

Del 105

Distributed Systems - Architecture and Implementation

D.W. Davies, E. Holler, E.D. Jensen, S.R. Kimbleton, B.W. Lampson, G. LeLann, K.J. Thurber, R.W. Watson, D. W. Davies, B. W. Lampson, M. Paul, H. J. Siegert

739 kr

GI — 19. Jahrestagung I

Del 222

GI — 19. Jahrestagung I

M. Paul, M. Paul

739 kr

Tillhör följande kategorier

Programvaruutveckling inom Data och it
Programmeringsböcker inom Data och it

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.