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
AI Summary
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.
Discover books you might love based on this title.
More in This Genre
NB-IoT Use Cases and Devices
Ksh 12,600.00
Fundamentals of Programming using Java
Ksh 13,350.00
Approximate Arithmetic Circuit Architectures for FPGA-based Systems
Ksh 12,600.00
High Performance Embedded Architectures and Compilers
Ksh 8,100.00
The iPad Developer's Cookbook
Ksh 4,850.00
Era of Artificial Intelligence
Ksh 4,450.00
