Del 19 - Lecture Notes in Computer Science

Programming Symposium

Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974

Häftad, Engelska, 1974

519 kr

Beställningsvara. Skickas inom 7-10 vardagar

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

Produktinformation

Utgivningsdatum1974-11-05
Mått170 x 250 x 24 mm
Vikt657 g
SpråkEngelska, Franska
SerieLecture Notes in Computer Science
Antal sidor432
Upplaga1974
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
EAN9783540068594

Du kanske också är intresserad av

International Symposium on Programming

Del 83

International Symposium on Programming

739 kr

International Symposium on Programming

Del 167

International Symposium on Programming

M. Paul, B. Robinet

739 kr

Den yttersta hemligheten

Nyhet

Del 6

Den yttersta hemligheten

329 kr

Staten mot kapitalet

Nyhet

Staten mot kapitalet

Alexander Ernstberger

299 kr

Historiens återkomst: Europa och världsordningens sammanbrott

Nyhet

Historiens återkomst: Europa och världsordningens sammanbrott

329 kr

Hon som blev kvar

4 pocket för 3

Hon som blev kvar

125 kr

Hjärtslag : En självbiografi

Nyhet

Hjärtslag : En självbiografi

Björn Borg, Patricia Borg

349 kr

Lera DAS 1kg vit

Lera DAS 1kg vit

DAS

89 kr

Tät dimma

4 pocket för 3

Del 1

Tät dimma

Johanna Ginstmark

115 kr

Kramar och ramar : om barns drivkrafter och vägen till ett föräldraskap som funkar

Kramar och ramar : om barns drivkrafter och vägen till ett föräldraskap som funkar

Petra Krantz Lindgren

349 kr

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it

On a measure of program structure.- Higher order software techniques applied to a space shuttle prototype program.- A proposed system for structured programming.- S. V. P. Un system interactif pour la validation et la preparation de programmes.- Proving program correctness in LCF.- Finite state testing of structured programs.- Structured recursive programming.- Top-down approach to the synthesis of programs.- A more mechanical approach to program verification.- Tree structures handling by aps.- Towards a high-level job control language.- Formal Definition of a simple on-line teleprocessor in VDL.- The suitability of a very high level language (setl) for simulation structuring and control.- A control statement for natural top-down structured programming.- On the transfer of control between contexts.- Equivalences dans l'algèbre des schémas de programme.- Inductive assertion patterns for recursive procedures.- Completude d'un systeme formel pour prouver l'equivalence de certains schemas recursifs monadiques.- Non-existence of program optimizers in an abstract setting.- Listing of information structures defined by fixed-point operators.- Application de la structuration de systeme a la conception interne du systeme GEMAU.- Un systeme de communications: logiciel ou materiel?.- Structure du systeme SAR.- Une Transformation de programmes sequentiels en programmes paralleles.- A model for structured parallel processing in block-structured programming languages.- First version of a data flow procedure language.- Towards more flexible type systems.- Behavioral semantics of nonrecursive control structures.- Towards a theory of type structure.