The Craft of Programming (Prentice-Hall International...

Main
Computers - Programming
Computers - Applications & Software
The Craft of Programming (Prentice-Hall...

The Craft of Programming (Prentice-Hall International Series in Computer Science)

John C. Reynolds

0 / 0

¿Qué tanto le ha gustado este libro?

¿De qué calidad es el archivo descargado?

Descargue el libro para evaluar su calidad

¿Cuál es la calidad de los archivos descargados?

Categorías:

Computers - Programming
Computers - Applications & Software

Año:

1981

Editorial:

Prentice Hall

Idioma:

english

Páginas:

448

ISBN 10:

0131888625

ISBN 13:

9780131888623

Archivo:

PDF, 27.40 MB

IPFS:

,

english, 1981

Descargar (pdf, 27.40 MB)

Conversión a en curso

La conversión a ha fallado

También le puede interesar

C. A. R. Hoare, C. B. Jones — Essays in Computing Science (Prentice-Hall International Series in Computer Science)

Ole-Johan Dahl, Edsger Wybe Dijkstra, Charles Antony Richard Hoare — Structured programming

Edsger W. Dijkstra — A Discipline of Programming

R. G. Dromey, or:, Geoff Dromey — How to Solve It by Computer (Prentice-Hall International Series in Computer Science)

R. D. Tennent — Principles of Programming Languages (Prentice Hall International Series in Computing Science)

Richard Bornat — Programming from First Principles (Prentice-Hall International series in computer science)

Daniel P. Bovet, Pierluigi Crescenzi — Introduction to the Theory of Complexity (Prentice Hall International Series in Computer Science)

Edsger W. Dijkstra, Wim H. J. Feijen — A Method of Programming

E. W. Dijkstra — A Primer of Algol 60 Programming

W. R. Broderick, P. J. Barker — Basic algol

Nathan Clark — C#: Programming Basics for Absolute Beginners (Step-By-Step C# Book 1)

Roland Backhouse — Program Construction Calculating Implementations from Specifications

Katzan, Harry — Advanced programming : programming and operating systems

R. F. Shepherd — Algol 60 Programming

Jacques Arsac — Foundations of Programming

John C Reynolds — The craft of programming

Yeh, Raymond Tzuu-yau (eds.) — Current trends in programming methodology, vol.2: Program validation

Anne Kaldewaij — Programming: the derivation of algorithms

K. Mani Chandy, Jayadev Misra — Parallel Program Design: A Foundation

Nissim Francez — Program Verification

K. Rustan, M. Leino — Program Proofs

Barron, David William — Recursive Techniques in Programming

Ed; Eckman, Ed Dold — Symposium on Semantics of Algorithmic Languages

David Gries — The science of programming

Gries, David — The Science of Programming

W.H.J. Feijen, A.J.M. van Gasteren — On a Method of Multiprogramming

Roland Backhouse — Program Construction: Calculating Implementations from Specifications

R. D. Tennent — Specifying Software: A Hands-On Introduction

McGettrick, Andrew D — Introduction Definition of Programming Languages

McGettrick A.D. — The Definition of Programming Languages

R. D. Tennent — Specifying Software

Henry Ledgard, Michael Marcotty — Programming Language Landscape

Nachum Dershowitz — The Evolution of Programs

Staff of Research and Education Association, Dr. M. Fogiel, Director — Handbook and Guide for Comparing and Selecing Computer Languages

W. H. J. Feijen, A. J. M. van Gasteren (auth.) — On a Method of Multiprogramming

Zohar Manna, Amir Pnueli — Temporal Verification of Reactive Systems: Safety

W.H.J. Feijen, A.J.M. van Gasteren, D. Gries, J. Misra, (eds.) — Beauty Is Our Business: A Birthday Salute to Edsger W. Dijkstra

Robert Lover — Elementary Logic: For Software Development

Manfred Broy — Program design calculi

Carroll Morgan (auth.), Manfred Broy (eds.) — Program Design Calculi

Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue (auth.), Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani (eds.) — Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

P. Wegner (auth.), Ellis Horowitz (eds.) — Programming Languages: A Grand Tour

Términos más frecuentes

Listas de libros relacionados