Cantitate/Preț
Produs

Programming in Methodology: 4th Informatik Symposium, IBM Germany Wildbad, September 25–27, 1974: Lecture Notes in Computer Science, cartea 23

Editat de C.E. Hackl
en Limba Engleză Paperback – 11 mar 1975

Din seria Lecture Notes in Computer Science

Preț: 31482 lei

Preț vechi: 39353 lei
-20% Nou

Puncte Express: 472

Preț estimativ în valută:
6026 6548$ 5065£

Carte tipărită la comandă

Livrare economică 21 aprilie-05 mai

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540071310
ISBN-10: 3540071318
Pagini: 512
Ilustrații: VI, 502 p.
Dimensiuni: 210 x 279 x 27 mm
Greutate: 0.72 kg
Ediția:Softcover reprint of the original 1st ed. 1975
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.