Hackl | Programming in Methodology | Buch | 978-3-540-07131-0 | www.sack.de

Buch, Englisch, Deutsch, 502 Seiten, Format (B × H): 210 mm x 279 mm, Gewicht: 1234 g

Reihe: Lecture Notes in Computer Science

Hackl

Programming in Methodology

4th Informatik Symposium, IBM Germany Wildbad, September 25-27, 1974
Softcover Nachdruck of the original 1. Auflage 1975
ISBN: 978-3-540-07131-0
Verlag: Springer

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

Buch, Englisch, Deutsch, 502 Seiten, Format (B × H): 210 mm x 279 mm, Gewicht: 1234 g

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-07131-0
Verlag: Springer


Springer Book Archives

Hackl Programming in Methodology jetzt bestellen!

Zielgruppe


Research


Autoren/Hrsg.


Weitere Infos & Material


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.



Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.