Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 1974
ISBN 10: 3540071318 ISBN 13: 9783540071310
Librería: NEPO UG, Rüsselsheim am Main, Alemania
EUR 8,93
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Gut. 501 Seiten ex Library Book aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 44,22
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 40,78
Cantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: preigu, Osnabrück, Alemania
EUR 36,60
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Programming in Methodology | 4th Informatik Symposium, IBM Germany Wildbad, September 25-27, 1974 | C. E. Hackl | Taschenbuch | vi | Englisch | Springer | EAN 9783540071310 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 81,97
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 37,44
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.