Amazon cover image
Image from Amazon.com

Programming methodology : 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974 / edited by Clemens E. Hackl.

By: Contributor(s): Material type: TextTextLanguage: English, German Language: engger Series: Lecture notes in computer science ; 23.Publisher: Berlin ; New York : Springer-Verlag, 1975Description: 1 online resource (vi, 501 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540374015
  • 3540374019
Subject(s): Genre/Form: Additional physical formats: Print version:Informatik Symposium (4th : 1974 : Wildbad im Schwarzwald, Germany).: Programming methodology.DDC classification:
  • 001.6/42
LOC classification:
  • QA76.6 .I47 1974
Other classification:
  • 54.51
  • 54.50
  • SS 4800
  • 19a
Online resources:
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.
Action note:
  • digitized 2010 HathiTrust Digital Library committed to preserve
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

"Sponsored by IBM Germany and the IBM World Trade Corporation."

English or German.

Includes bibliographical references and index.

Use copy Restrictions unspecified star MiAaHDL

Electronic reproduction. [Place of publication not identified] : HathiTrust Digital Library, 2010. MiAaHDL

Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL

http://purl.oclc.org/DLF/benchrepro0212

English or German.

digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL

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.

Powered by Koha