wróć

Książki obcojęzyczne

Po angielsku

Naukowe i popularnonaukowe

oszczędź 2 %

The Science of Programming

Name: The Science of Programming Davies Gries
SKU: 14133091
Author: Davies Gries

Davies Gries

brak ocen

Język wydania: angielski Wydawnictwo: Springer-Verlag » Rodzaj okładki: Twarda Wymiar: 12.5x19.5cm Ilość stron: 366 Waga: 0.695 kg Stan: Używana

cena: 149,00 zł 145,77 zł

Najniższa cena z 30 dni: 145,77 zł

The Science of Programming - Davies Gries

This is the very first book to discuss the theory and principles of computer programming on the basis of the idea that a proof of correctness and a program should be developed hand in hand. It is built around the method first proposed by Dijkstra in his monograph The Discipline of Programming (1976), involving a "calculus for the derivation of programs." Directing his materials to the computer programmer with at least one year of experience, Gries presents explicit principles behind program development, and then leads the reader through example programs using those principles. Propositions and predicate calculus are presented as a took for the programmer, rather than simply an object of study. The reader should come away with a fresh outlook on programming theory and practice, and the assurance to develop correct programs effectively.

DOSTAWA

Staramy się, aby Twoje książki dotarły do Ciebie jak najszybciej. Zamówienia złożone i opłacone do godziny 10:00 wysyłamy jeszcze tego samego dnia.

The Science of Programming

Davies Gries

The Science of Programming - Davies Gries

Inne tego wydawnictwa

Minimally Invasive Neurosurgery Vol. 2 - B. L Bauer, D. Hellwig

Logics of Programs and their Applications

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use Volume 1 - Kurt Jensen

The Carnegie-Mellon Curriculum for Undergraduate Computer Science - Mary Shaw

Advances in Computer Graphics Hardware III - A. A. M. Kuijk

The Synthesizer Generator: A System for Constructing Language-Based Editors - Thomas W. Reps, Tim Teitelbaum

Advances in Pattern Recognition

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use Volume 2 - Kurt Jensen

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use Volume 3 - Kurt Jensen

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use Volume 1 - Kurt Jensen

Medizinische Parasitologie in Tafeln - Gerhard Piekarski

Ergebnisse der inneren medizin und kinderheilkunde Band 10

Membrane Spectroscopy - Molecular Biology, Biochemistry and Biophysics - Ernst Grell

Die Kohlenwasserstoff Synthese nach Fischer-Tropsch 1950 r - Franz Kainer

The First 30 Years of the ESPR: The History of Pediatric Radiology in Europe - Herbert J. Kaufmann, Hans Ringertz, Elisabeth Sweet

Plasmids: medical and theoretical aspects - S. Mitsuhashi, L. Rosival, V. Krcmery

The Contribution of Acute Toxicity Testing to the Evaluation of Pharmaceuticals - D. Schuppan, A. D Dayan, CharlesworthF. A.

Die vasculare Myelopathie - Erwin Neumayer

Verdunstung : Anwendungsorientierte Messverfahren und Bestimmungsmethoden - H. Schrodter

Interacting Binaries - Melina Livio, S.N.Shore, E.P.J van den Heuvel

Grundzuge der Zerspanungslehre - Max Kronenberg

Grundlagen der elektronenoptik - Walter Glaser

Trends in Colloid and Interface Science V Volume 84 - G. Lagaly, H. Kilian

Antibacterial therapy achievements problems and future perspectives - W.D.Busse, H.J. Zeiler, H. Labischinski