Programming in Methodology
Editat de C. E. Hacklen Limba Engleză Paperback – 11 mar 1975
Preț: 321.92 lei
Preț vechi: 402.41 lei
-20%
Puncte Express: 483
Carte tipărită la comandă
Livrare economică 07-21 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540071310
ISBN-10: 3540071318
Pagini: 512
Ilustrații: VI, 502 p.
Dimensiuni: 210 x 279 x 28 mm
Greutate: 1.23 kg
Ediția:Softcover reprint of the original 1st edition 1975
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540071318
Pagini: 512
Ilustrații: VI, 502 p.
Dimensiuni: 210 x 279 x 28 mm
Greutate: 1.23 kg
Ediția:Softcover reprint of the original 1st edition 1975
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.