Deductive and Declarative Programming
% SALE
Deductive and Declarative Programming
% SALE
% SALE
Description
The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.
Product details
- Type:
- Book
- Binding:
- Paperback
- Edition:
- 1
- Languages:
-
Original:
English
- Number of Pages:
-
288
- Publisher:
-
Cambridge University Press
- Publication Date:
-
2006-10-19
- Release Date:
-
2008-08-21
- ISBN / EAN:
-
9780521032513
- Weight:
-
502 g
- Dimensions:
-
17/24/2 cm
- GPSR Manufacturer Reference:
-
[email protected]
Die gelieferte Auflage kann ggf. abweichen.
Currently sold out
Back in stock email
Add to Wishlist
