Logical Derivation of Computer Programs
Book Details
Format
Hardback or Cased Book
ISBN-10
1871516986
ISBN-13
9781871516982
Publisher
Intellect
Imprint
Intellect Books
Country of Manufacture
GB
Country of Publication
GB
Publication Date
May 1st, 1999
Print length
200 Pages
Weight
500 grams
Dimensions
23.40 x 15.90 x 1.80 cms
Product Classification:
Computer programming / software developmentComputer architecture & logic design
Ksh 5,250.00
Re-Printing
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
This text presents a language-based logic for procedures to derive computer programs from formal specifications. This formal approach is based upon design philosophy, and has been class-tested by the author throughout its development. The book also features examples, and solved exercises.
Get Logical Derivation of Computer Programs by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Intellect and it has pages.
