Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Deductive and Declarative Programming

Deductive and Declarative Programming

av Peter Padawitz

del av Cambridge Tracts in Theoretical Computer Science-serien

Deductive and Declarative Programming av Peter Padawitz
Om Deductive and Declarative Programming

The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780521032513
  • Format:
  • Häftad
  • Sidor:
  • 288
  • Utgiven:
  • 23. november 2006
  • Mått:
  • 152x228x17 mm.
  • Vikt:
  • 469 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 19. december 2024
Förlängd ångerrätt till 31. januari 2025

Om Peter Padawitz

Se alla böcker av Peter Padawitz

Beskrivning av Deductive and Declarative Programming

The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.

Användarnas betyg av Deductive and Declarative Programming



Andra köpte även...
Hitta liknande böcker
Boken Deductive and Declarative Programming finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.