Axiomatising the Logic of Computer Programming 1
bokomslag Axiomatising the Logic of Computer Programming
Data & IT

Axiomatising the Logic of Computer Programming

R Goldblatt

Pocket

349:-

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

Uppskattad leveranstid 10-16 arbetsdagar

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

  • 304 sidor
  • 1982
  • Författare: R Goldblatt
  • Format: Pocket/Paperback
  • ISBN: 9783540112105
  • Språk: Engelska
  • Antal sidor: 304
  • Utgivningsdatum: 1982-03-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Du kanske gillar

  1. bokomslag Non-Monotonic Extensions of Logic Programming

    Non-Monotonic Extensions of Logic Pro...

    Juergen Dix, Luis Moniz Pereira, Teodor C Przymusinski

    Pocket

    749:-
  2. bokomslag Logics of Programs and Their Applications

    Logics of Programs and Their Applicat...

    A Salwicki

    Pocket

    349:-
  3. bokomslag Introduction to the PL/CV2 Programming Logic

    Introduction to the PL/CV2 Programmin...

    R L Constable, S D Johnson, C D Eichenlaub

    Pocket

    749:-
  4. Hitster Guilty Pleasures (Nordic)

    Hitster Guilty Pleasures (Nordic)

    Spel, Jumbo

    379:-
  5. bokomslag Twisted Lies

    Twisted Lies

    Ana Huang

    Pocket

    229:-
  6. bokomslag Twisted Games

    Twisted Games

    Ana Huang

    Pocket

    229:-
  7. bokomslag Twisted Hate

    Twisted Hate

    Ana Huang

    Pocket

    229:-
  8. bokomslag Män och kvinnor

    Män och kvinnor

    Lena Andersson

    Inbunden

    299:-
  9. bokomslag Din tid kommer

    Din tid kommer

    Carl-Johan Vallgren

    Pocket

    79:- (125:-)
  10. bokomslag Demon Copperhead

    Demon Copperhead

    Barbara Kingsolver

    Pocket

    79:- (125:-)