bokomslag Logics of Programs
Data & IT

Logics of Programs

D Kozen

Pocket

529:-

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

Andra format:

  • 429 sidor
  • 1982
With contributions by nummerous experts

  • Författare: D Kozen
  • Format: Pocket/Paperback
  • ISBN: 9783540112129
  • Språk: Engelska
  • Antal sidor: 429
  • Utgivningsdatum: 1982-03-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K