Program Construction

Häftad, Engelska, 1987

Av R. G. Stone, D. J. Cooke

939 kr

Beställningsvara. Skickas inom 5-8 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
This textbook is an introduction to the design and writing of computer programs. It leads the reader through all the stages of program construction from the original specifications through to the final program. The formal verification of intermediate versions of the program is studied in considerable detail.

Produktinformation

Du kanske också är intresserad av

Program Construction

Program Construction

R. G. Stone, D. J. Cooke

729 kr

A Practical Introduction to Denotational Semantics

A Practical Introduction to Denotational Semantics

L. Allison, Lloyd Allison

539 kr

C by Example

C by Example

Noel Kalicharan

1 059 kr

Psychopathy
Del 88

Psychopathy

D.J. Cooke, Adelle E. Forth, Robert D. Hare, D. J. Cooke

7 779 kr

Concurrent Programming

Concurrent Programming

New South Wales) Snow, C. R. (University of Newcastle, C. R. Snow, Snow C. R.

749 kr

Modelling of Computer and Communication Systems

Modelling of Computer and Communication Systems

I. Mitrani, Israel Mitrani

769 kr

Simulation Techniques for Discrete Event Systems

Simulation Techniques for Discrete Event Systems

I. Mitrani

689 kr

Computer Simulation of Continuous Systems

Computer Simulation of Continuous Systems

R. J. Ord-Smith, J. Stephenson

669 kr

Psychopathy

Psychopathy

D.J. Cooke, Adelle E. Forth, Robert D. Hare, D. J. Cooke

8 479 kr

The Principles of Computer Networking

The Principles of Computer Networking

D. Russell

1 139 kr

Tillhör följande kategorier