Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Skapa nya rutiner – hälsoböcker upp till 50% →

Programming in Methodology

4th Informatik Symposium, IBM Germany Wildbad, September 25–27, 1974

Häftad, Engelska, 1975

Del i serien Lecture Notes in Computer Science

393 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

With contributions by numerous experts

Produktinformation

Utgivningsdatum:1975-03-11
Mått:210 x 279 x 28 mm
Vikt:1 234 g
Format:Häftad
Språk:Engelska, Tyska
Serie:Lecture Notes in Computer Science
Antal sidor:502
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540071310

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

On the development of systems of men and machines.- A new look at the program development process.- Organizing for structured programming.- The reliability of programming systems.- Fehleranalyse und Fehlerursachen in Systemprogrammen.- APLGOL a structured programming language for APL.- Systemprogrammierung aus der Sicht der Universitaet.- Systemprogrammiersprachen und strukturiertes Programmieren.- Software engineering or methods for the multi-person construction of multi-version programs.- Knowledge and reasoning in program synthesis.- A new approach to program testing.- Interprocedural analysis and the information derived by it.- Neue Verfahren zur Optimisierung und Parallflisierung von Programmen.- Automatic programming.- Nonprocedural programming.- Formal definition in program development.- Programmierte Strukturen.- Axiomatisierung von Programmiersprachen und ihre Grenzen.- Formalization, history, present, and future.

Du kanske också är intresserad av

M. Andreeff - Impulscytophotometrie, Häftad

Impulscytophotometrie

M. Andreeff

Häftad, 1975

573 kr

Marcus Frank - SIGNERAD - Mackans kost : Middagar och matlådor, Inbunden

Signerad!

SIGNERAD - Mackans kost : Middagar och matlådor

Marcus Frank

Inbunden, 2026

269 kr

IJustWantToBeCool, Joel Adolphson, Emil Ejdemo Beer, Victor Beer - SIGNERAD - Kopians hämnd, Inbunden

Signerad!

Del 2

SIGNERAD - Kopians hämnd

IJustWantToBeCool, Joel Adolphson, Emil Ejdemo Beer, Victor Beer

Inbunden, 2026

189 kr

Johan Munck - Sveriges Rikes Lag 2026 klotband, Inbunden

Sveriges Rikes Lag 2026 klotband

Johan Munck

Inbunden, 2026

1 599 kr

Annette Løno, Torkil Færø - Vagusnerven, Kartonnage

-23%

Vagusnerven

Annette Løno, Torkil Færø

Kartonnage, 2026

199 kr259 kr

Flora Wiström - Stortaxi, Inbunden

-19%

Stortaxi

Flora Wiström

Inbunden, 2026

209 kr259 kr

Monika Björn - Allt jag önskar att jag hade vetat om min kropp : Det ingen berättade men alla borde känna till, Inbunden

-20%

Allt jag önskar att jag hade vetat om min kropp : Det ingen berättade men alla borde känna till

Monika Björn

Inbunden, 2026

239 kr299 kr

Annifrid Lilja, Björn Lilja - SIGNERAD - Enkel privatekonomi : Din praktiska guide till livets alla pengafrågor, Kartonnage

Signerad!

SIGNERAD - Enkel privatekonomi : Din praktiska guide till livets alla pengafrågor

Annifrid Lilja, Björn Lilja

Kartonnage, 2026

229 kr

Mattias Edvardsson - Vykort från en mördare, Pocket

-30%

Del 2

Vykort från en mördare

Mattias Edvardsson

Pocket, 2026

69 kr99 kr

Nora Roberts - Bröderna MacKade Bok 1 & 2, Inbunden

-20%

Del 1

Bröderna MacKade Bok 1 & 2

Nora Roberts

Inbunden, 2026

159 kr199 kr