Systematic program design from clarity to efficiency

"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 ana...

Ausführliche Beschreibung

Bibliographische Detailangaben
1. Verfasser: Liu, Yanhong Annie 1965-
Format: Buch
Sprache:English
Veröffentlicht: New York Cambridge University Press c2013
Schlagworte: