Program Construction 1
bokomslag Program Construction
Data & IT

Program Construction

R G Stone • D J Cooke

Pocket

959:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 5-10 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 384 sidor
  • 1987
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.
  • Författare: R G Stone, D J Cooke
  • Format: Pocket/Paperback
  • ISBN: 9780521318839
  • Språk: Engelska
  • Antal sidor: 384
  • Utgivningsdatum: 1987-02-05
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Introduction to Functional Programming Systems Using Haskell

    Introduction to Functional Programmin...

    Antony J T Davie

    Pocket

    849:-
  2. bokomslag Hands Up

    Hands Up

    D J Cook, D J Cook, D J Cook

    Klotband

    1359:-
  3. bokomslag A Practical Introduction to Denotational Semantics

    A Practical Introduction to Denotatio...

    Lloyd Allison L Allison

    Pocket

    549:-
  4. bokomslag C by Example

    C by Example

    Noel Kalicharan

    Pocket

    999:-
  5. bokomslag Concurrent Programming

    Concurrent Programming

    C R Snow, C R Snow, Snow C R

    Pocket

    759:-
  6. bokomslag Modelling of Computer and Communication Systems

    Modelling of Computer and Communicati...

    Israel Mitrani I Mitrani

    Pocket

    789:-
  7. bokomslag Simulation Techniques for Discrete Event Systems

    Simulation Techniques for Discrete Ev...

    I Mitrani

    Pocket

    699:-
  8. bokomslag Program Construction

    Program Construction

    F L Bauer, E W Dijkstra, S L Gerhart, D Gries, M Griffiths

    Pocket

    719:-
  9. bokomslag Computer Simulation of Continuous Systems

    Computer Simulation of Continuous Sys...

    J Stephenson R J Ord-Smith

    Pocket

    679:-
  10. bokomslag The Principles of Computer Networking

    The Principles of Computer Networking

    D Russell

    Pocket

    1159:-

Andra av samma författare

  1. bokomslag Computer Mathematics

    Computer Mathematics

    H E Bez D J Cooke

    Pocket

    589:-