ISBN: 9781107610798 - systematic program design: from clarity to efficiency (14 risultati)

Condizione: New. pp. 272.

Condizione: New. pp. 272 14 Illus.

Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Condizione: New.

Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Condizione: New. pp. 272.

Condizione: New. Describes a systematic program design method, starting with specifications of computations and deriving implementations by step-wise program analysis and transformations. Num Pages: 253 pages, 14 b/w illus. 90 exercises. BIC Classification: UMA; UYA. Category: (U) Tertiary Education (US: College). Dimension: 234 x 158 x 16. Weight in Grams: 430. . 2013. Paperback. . . . .…

Condizione: New. In English.

Condizione: New. Describes a systematic program design method, starting with specifications of computations and deriving implementations by step-wise program analysis and transformations. Num Pages: 253 pages, 14 b/w illus. 90 exercises. BIC Classification: UMA; UYA. Category: (U) Tertiary Education (US: College). Dimension: 234 x 158 x 16. Weight in Grams: 430. . 2013. Paperback. . . . . Books ship from the US and Ireland.…

Paperback. Condizione: Brand New. 272 pages. 9.20x6.00x0.80 inches. In Stock.

PF. Condizione: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Paperback. Condizione: new. Paperback. 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. 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 im.…

Taschenbuch. Condizione: Neu. Systematic Program Design | Yanhong Annie Liu | Taschenbuch | Kartoniert / Broschiert | Englisch | 2013 | Cambridge University Press | EAN 9781107610798 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand. …