|
|
|
|
| LEADER |
02133nam a22003258i 4500 |
| 001 |
28200 |
| 003 |
UkCbUP |
| 005 |
20160413044027.0 |
| 006 |
m|||||o||d|||||||| |
| 007 |
cr|||||||||||| |
| 008 |
120810s2013||||enk o ||1 0|eng|d |
| 020 |
# |
# |
|a 9781139567879 (ebook)
|
| 020 |
# |
# |
|z 9781107036604 (hardback)
|
| 020 |
# |
# |
|z 9781107610798 (paperback)
|
| 040 |
# |
# |
|a UkCbUP
|b eng
|c UkCbUP
|e rda
|
| 050 |
0 |
0 |
|a QA76.6
|b .L578 2013
|
| 082 |
0 |
0 |
|a 005.1
|2 23
|
| 100 |
1 |
# |
|a Liu, Yanhong Annie,
|e author.
|
| 245 |
1 |
0 |
|a Systematic Program Design :
|b From Clarity to Efficiency /
|c Yanhong Annie Liu.
|
| 264 |
# |
1 |
|a Cambridge :
|b Cambridge University Press,
|c 2013.
|
| 300 |
# |
# |
|a 1 online resource (253 pages) :
|b digital, PDF file(s).
|
| 336 |
# |
# |
|a text
|b txt
|2 rdacontent
|
| 337 |
# |
# |
|a computer
|b c
|2 rdamedia
|
| 338 |
# |
# |
|a online resource
|b cr
|2 rdacarrier
|
| 500 |
# |
# |
|a Title from publisher's bibliographic system (viewed on 13 Apr 2016).
|
| 520 |
# |
# |
|a A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This book describes a method that starts with a clear specification of a computation and derives an efficient implementation by step-wise program analysis and transformations. The method applies to problems specified in imperative, database, functional, logic and object-oriented programming languages with different data, control and module abstractions. Designed for courses or self-study, this book includes numerous exercises and examples that require minimal computer science background, making it accessible to novices. Experienced practitioners and researchers will appreciate the detailed examples in a wide range of application areas including hardware design, image processing, access control, query optimization and program analysis. The last section of the book points out directions for future studies.
|
| 650 |
# |
0 |
|a Computer programming
|
| 650 |
# |
0 |
|a System design
|
| 776 |
0 |
8 |
|i Print version:
|z 9781107036604
|
| 856 |
4 |
0 |
|u https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1017/CBO9781139567879
|z View fulltext via EzAccess
|