Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Deductive and Declarative Programming

Deductive and Declarative Programming - Peter Padawitz - Bog

af Peter Padawitz

indgår i Cambridge Tracts in Theoretical Computer Science serien

Deductive and Declarative Programming af Peter Padawitz
Bag 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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780521032513
  • Indbinding:
  • Paperback
  • Sideantal:
  • 288
  • Udgivet:
  • 23. november 2006
  • Størrelse:
  • 152x228x17 mm.
  • Vægt:
  • 469 g.
  • 8-11 hverdage.
  • 16. januar 2025
På lager

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Peter Padawitz

Vis alle bøger af Peter Padawitz

Beskrivelse af 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.

Brugerbedømmelser af Deductive and Declarative Programming



Andre købte også..
Find lignende bøger
Bogen Deductive and Declarative Programming findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.