Programming in Methodology: 4th Informatik Symposium, IBM Germany Wildbad, September 25-27, 1974 by C.E. HacklProgramming in Methodology: 4th Informatik Symposium, IBM Germany Wildbad, September 25-27, 1974 by C.E. Hackl

Programming in Methodology: 4th Informatik Symposium, IBM Germany Wildbad, September 25-27, 1974

EditorC.E. Hackl

Paperback | March 11, 1975

Pricing and Purchase Info

$64.95

Earn 325 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

With contributions by numerous experts
Title:Programming in Methodology: 4th Informatik Symposium, IBM Germany Wildbad, September 25-27, 1974Format:PaperbackDimensions:508 pages, 10.98 × 8.27 × 0.01 inPublished:March 11, 1975Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540071318

ISBN - 13:9783540071310

Look for similar items by category:

Reviews

Table of Contents

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.