ML for the Working Programmer 1
bokomslag ML for the Working Programmer
Data & IT

ML for the Working Programmer

Larry C Paulson • Lawrence C Paulson • Larry C Paulson

Pocket

1109:-

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

Uppskattad leveranstid 7-12 arbetsdagar

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

  • 500 sidor
  • 1996
The major change for the new edition of the successful text is the extensive use of modules. In addition, the first chapter has been totally rewritten to make the book more accessible to first year students. The main features of new Standard Library for the revised version of ML are described, and many new examples are given.
  • Författare: Larry C Paulson, Lawrence C Paulson, Larry C Paulson
  • Format: Pocket/Paperback
  • ISBN: 9780521565431
  • Språk: Engelska
  • Antal sidor: 500
  • Utgivningsdatum: 1996-06-28
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Logic and Computation

    Logic and Computation

    Lawrence C Paulson, Lawrence C Paulson, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    949:-
  2. bokomslag Isabelle/HOL

    Isabelle/HOL

    Tobias Nipkow, Lawrence C Paulson, Markus Wenzel

    Pocket

    799:-
  3. bokomslag Magic Mack and The Mischief-Makers

    Magic Mack and The Mischief-Makers

    J C Paulson, J C Paulson, J C Paulson

    Pocket

    189:-
  4. bokomslag Interactive Theorem Proving

    Interactive Theorem Proving

    Lawrence C Paulson Matt Kaufmann

    Pocket

    1469:-
  5. bokomslag Archives of the Airwaves Vol. 6

    Archives of the Airwaves Vol. 6

    Roger C Paulson Roger C Paulson

    Pocket

    369:-
  6. bokomslag Blood and Dust

    Blood and Dust

    J C Paulson, J C Paulson, J C Paulson

    Pocket

    309:-
  7. bokomslag Griffin's Cure

    Griffin's Cure

    J C Paulson, J C Paulson, J C Paulson

    Pocket

    249:-
  8. bokomslag Notizen eines Gewinners

    Notizen eines Gewinners

    Gerrit C Paulson Gerrit C Paulson

    Pocket

    359:-
  9. bokomslag Archives of the Airwaves Vol. 5

    Archives of the Airwaves Vol. 5

    Roger C Paulson, Roger C Paulson, Roger C Paulson

    Pocket

    359:-
  10. bokomslag Two Hundred Bones

    Two Hundred Bones

    J C Paulson, J C Paulson, J C Paulson

    Pocket

    169:-

Andra av samma författare

  1. bokomslag Logic and Computation

    Logic and Computation

    Lawrence C Paulson, Lawrence C Paulson, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    949:-
  2. bokomslag Isabelle/HOL

    Isabelle/HOL

    Tobias Nipkow, Lawrence C Paulson, Markus Wenzel

    Pocket

    799:-
  3. bokomslag Isabelle

    Isabelle

    Lawrence C Paulson

    Pocket

    729:-
  4. bokomslag Interactive Theorem Proving

    Interactive Theorem Proving

    Lawrence C Paulson Matt Kaufmann

    Pocket

    1469:-