A Method of Programming

Main
Computers - Computer Science
A Method of Programming

A Method of Programming

Edsger W. Dijkstra, Wim H. J. Feijen

0 / 0

Koliko vam se sviđa ova knjiga?

Kakav je kvalitet fajla?

Preuzmite knjigu radi procene kvaliteta

Kakav je kvalitet preuzetih fajlova?

Kategorije:

Computers - Computer Science

Godina:

1988

Izdanje:

1st

Izdavač:

Addison-Wesley

Jezik:

english

Strane:

186

ISBN 10:

0201175363

ISBN 13:

9780201175363

Fajl:

DJVU, 4.13 MB

IPFS:

,

english, 1988

Čitati Online

Konvertovanje u je u toku

Konvertovanje u nije uspešno

Možda će vas zanimati

Dijkstra, Edsger W. — Predicate Calculus and Program Semantics

Edsger W. Dijkstra — A Short Introduction To the Art of Programming

Edsger W. Dijkstra — Notes On Structured Programming

Dijkstra E.W. — My Recollections of Operating Systems Design

— Literate Programming

Edsger Wybe Dijkstra, C. A. R. Hoare, Ole-Johan Dahl — Structured Programming

Niklaus Wirth — Algorithms + Data Structures = Programs

C. A. R. Hoare — Communicating sequential processes

John C. Reynolds — The Craft of Programming (Prentice-Hall International Series in Computer Science)

Raymond T. Yeh, K. Mani Chandy, Donald E. Knuth, Edsger W. Dijkstra — Current trends in programming methodology, vol.1: Software specification and design

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

Chandy, K. Mani; Yeh, Raymond T (eds.) — Current trends in programming methodology, vol.3: Software modeling

Anne Kaldewaij — Programming: the derivation of algorithms

Edsger W. Dijkstra — A discipline of programming

Rolf Niedermeier — Invitation to fixed-parameter algorithms

John C. Mitchell — Foundations for programming languages

David Gries — The science of programming

Gerald M. Weinberg — Psychology of computer programming

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

Kyle Loudon — Mastering algorithms with C

Michael Main — Data Structures and Other Objects Using Java

Leino — Program Proofs

Roland Backhouse — Program Construction Calculating Implementations from Specifications

Arthur W. Burks (auth.), W. Brauer, P. Brinch Hansen, D. Gries, C. Moler, G. Seegmüller, J. Stoer, N. Wirth, Prof. Dr. rer. nat. Wolfgang Händler (eds.) — Conpar 81: Conference on Analysing Problem Classes and Programming for Parallel Computing Nürnberg, June 10–12, 1981 Proceedings

Michael Mann — Data Structures & Other Objects using Java

Niklaus Wirth — Systematic Programming: An Introduction

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

Nissim Francez — Program Verification

Geoff Dromey, or:, R. G. Dromey — Program derivation: development of programs from specifications

Quentin Charatan, Aaron Kans — Formal Software Development: From VDM to Java

Joseph A. Goguen, Grant Malcolm — Algebraic Semantics of Imperative Programs

Joseph Goguen; Grant Malcolm — Algebraic semantics of imperative programs

K. Rustan, M. Leino — Program Proofs

David Gries, Paul Gries — Multimedia introduction to programming using Java

Jan L.A.van de Snepscheut — What Computing Is All About

Gries, David — The Science of Programming

Roland Backhouse — Program Construction: Calculating Implementations from Specifications

Robert Laurence Baber — The Spine of Software: Designing Provably Correct Software : Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program

Robert Laurence Baber — Error Free Software: Know-how and Know-why of Program Correctness

Jayadev Misra — A Discipline of Multiprogramming

Wolfgang Schreiner — Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Edward Cohen — Programming in the 1990s: An Introduction to the Calculation of Programs

Najčešći pojmovi