Programming in Methodology

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

AvC.E. Hackl

Häftad, Engelska, 1975

Del i serien Lecture Notes in Computer Science

403 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

Impulscytophotometrie

M. Andreeff

Häftad, 1975

588 kr

Signerad!

SIGNERAD - Hälsorevolutionen : nya insikter

Yourlife Books

Inbunden, 2026

259 kr

Nyhet

Exit Adventskalender - Julens magi (SE)

Exit

439 kr

Ruth Kvarnström-Jones - SIGNERAD - Systrarna på Sophiahemmet, Inbunden

Signerad!

Del 3

SIGNERAD - Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

249 kr

Nyhet

Mina liv

Malena Ivarsson, Elin Cullhed

Inbunden, 2026

249 kr

Nyhet

Jag såg hur vi var stjärnor

Laleh Pourkarim

Inbunden, 2026

269 kr

-19%

Nattsäsong

Karolina Ramqvist

Inbunden, 2026

215 kr265 kr

-21%

Ha en nice dag

Mikael Yvesand

Inbunden, 2026

189 kr239 kr

Nyhet

L’amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

-19%

Stortaxi

Flora Wiström

Inbunden, 2026

209 kr259 kr

Programming in Methodology

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

AvC.E. Hackl

Häftad, Engelska, 1975

Del i serien Lecture Notes in Computer Science

403 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.