With contributions by numerous experts
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Broschiert. Condizione: Gut. VI, 501 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); leichte altersbedingte Anbräunung des Papiers; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 800. Codice articolo 1684016
Quantità: 2 disponibili
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Broschiert. Condizione: Gut. 501 Seiten; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Einbandkanten sind leicht bestoßen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 820. Codice articolo 1797021
Quantità: 1 disponibili
Da: Better World Books Ltd, Dunfermline, Regno Unito
Condizione: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Codice articolo 56747596-20
Quantità: 1 disponibili
Da: Anybook.com, Lincoln, Regno Unito
Condizione: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,950grams, ISBN:3540071318. Codice articolo 9542929
Quantità: 1 disponibili
Da: Chiron Media, Wallingford, Regno Unito
Paperback. Condizione: New. Codice articolo 6666-IUK-9783540071310
Quantità: 10 disponibili
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 512 pp. Englisch. Codice articolo 9783540071310
Quantità: 1 disponibili
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: As New. Unread book in perfect condition. Codice articolo 5907643
Quantità: 15 disponibili
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: New. Codice articolo 5907643-n
Quantità: 15 disponibili
Da: Ria Christie Collections, Uxbridge, Regno Unito
Condizione: New. In English. Codice articolo ria9783540071310_new
Quantità: Più di 20 disponibili
Da: Books Puddle, Woodside, NY, U.S.A.
Condizione: New. pp. 516. Codice articolo 263075861
Quantità: 4 disponibili