An Introduction to the PL/CV2 Programming Logic 1
bokomslag An Introduction to the PL/CV2 Programming Logic
Data & IT

An Introduction to the PL/CV2 Programming Logic

R L Constable • S D Johnson • C D Eichenlaub

Pocket

759:-

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:-

  • 314 sidor
  • 1982
The language.- Logical syntax.- The logic.- Proof rules.- Programming.- Rules for program statements.- Procedures.- Procedure rules.- Functions.- Function Rules.

  • Författare: R L Constable, S D Johnson, C D Eichenlaub
  • Format: Pocket/Paperback
  • ISBN: 9783540114925
  • Språk: Engelska
  • Antal sidor: 314
  • Utgivningsdatum: 1982-04-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Du kanske gillar

  1. bokomslag Implementing Mathematics with The Nuprl Proof Development System

    Implementing Mathematics with The Nup...

    R L Constable

    Häftad

    309:-
  2. bokomslag Thomas Constable's Notes on the Bible Vol. VIII

    Thomas Constable's Notes on the Bible...

    Thomas L Constable

    Häftad

    569:-
  3. bokomslag Thomas Constable Notes on the Bible: Volume V Hosea- Malachi

    Thomas Constable Notes on the Bible: ...

    Thomas L Constable

    Häftad

    569:-
  4. bokomslag HowExpert Guide to Mentoring Juvenile Youth

    HowExpert Guide to Mentoring Juvenile...

    Sd Johnson Howexpert

    Pocket

    429:-
  5. bokomslag HowExpert Guide to Mentoring Juvenile Youth

    HowExpert Guide to Mentoring Juvenile...

    Sd Johnson Howexpert

    Inbunden

    599:-
  6. bokomslag Thomas Constable's Notes on the Bible: Volume X

    Thomas Constable's Notes on the Bible...

    Thomas L Constable

    Häftad

    569:-
  7. bokomslag Thomas Constable's Notes on the Bible: Volume II Joshua-Esther

    Thomas Constable's Notes on the Bible...

    Thomas L Constable

    Häftad

    569:-
  8. bokomslag Thomas Constable's Notes on the Bible: Vol. 9: 1 Corinthians - Ephesians

    Thomas Constable's Notes on the Bible...

    Thomas L Constable

    Häftad

    569:-
  9. bokomslag Logic and Program Semantics

    Logic and Program Semantics

    Alexandra Silva Robert L Constable

    Pocket

    759:-
  10. bokomslag Thomas Constables Notes on the Bible: Vol IV Isaiah- Daniel

    Thomas Constables Notes on the Bible:...

    Thomas L Constable

    Häftad

    739:-

Andra av samma författare

  1. bokomslag America's New Order

    America's New Order

    S D Johnson

    Pocket

    429:-
  2. bokomslag Implementing Mathematics with The Nuprl Proof Development System

    Implementing Mathematics with The Nup...

    R L Constable

    Häftad

    309:-
  3. bokomslag For Richer For Poorer

    For Richer For Poorer

    S D Johnson

    Pocket

    189:-
  4. bokomslag Vipers' Nest

    Vipers' Nest

    S D Johnson

    Pocket

    189:-
  5. bokomslag Through The Eye

    Through The Eye

    S D Johnson

    Häftad

    239:-