Deductive and Declarative Programming - Cambridge Tracts in Theoretical Computer Science - Peter Padawitz - Knihy - Cambridge University Press - 9780521032513 - 23. novembra 2006
V prípade, že obal a názov nesedia, platí názov

Deductive and Declarative Programming - Cambridge Tracts in Theoretical Computer Science

Cena
€ 65,49

Objednané zo vzdialeného skladu

Očakávané doručenie 11. - 25. jún
Pridať do vášho zoznamu prianí na iMusic

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


288 pages, black & white illustrations

Médium Knihy     Paperback Book   (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané 23. novembra 2006
ISBN13 9780521032513
Vydavatelia Cambridge University Press
Strany 288
Rozmery 152 × 228 × 17 mm   ·   469 g
Jazyk Angličtina  

Viac od Peter Padawitz

Zobraziť všetko

Mere med samme udgiver