Sinossi
Describes a systematic program design method, starting with specifications of computations and deriving implementations by step-wise program analysis and transformations.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull'autore
Yanhong Annie Liu is a Professor of Computer Science at Stony Brook University. She received her BS from Peking University, MEng from Tsinghua University, and PhD from Cornell University. Her primary research has focused on general and systematic methods for program development, algorithm design, and problem solving. She has published in many top journals and conferences, served more than fifty conference chair or committee roles, and been awarded more than twenty research grants in her areas of expertise. She has taught more than twenty different courses in a wide range of Computer Science areas and presented close to a hundred research talks and invited talks at international conferences, universities, and research institutes. She received a State University of New York Chancellor's Award for Excellence in Scholarship and Creative Activities in 2010.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Systematic Program Design: From Clarity to Efficiency
Foto dell'editore
Systematic Program Design: From Clarity to Efficiency
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9781107036604_new
Compra nuovo
EUR 104,23
Spedizione EUR 14,06
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Systematic Program Design: From Clarity to Efficiency
Print on DemandDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Brand New. 240 pages. 9.25x6.25x0.75 inches. In Stock. This item is printed on demand. Codice articolo __1107036607
Compra nuovo
EUR 108,13
Spedizione EUR 14,67
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Systematic Program Design
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
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: 252 pages, 14 b/w illus. 90 exercises. BIC Classification: UMA; UYA. Category: (U) Tertiary Education (US: College). Dimension: 234 x 156 x 20. Weight in Grams: 550. . 2013. Hardback. . . . . Codice articolo V9781107036604
Compra nuovo
EUR 118,34
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.
Spedito da Irlanda a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Systematic Program Design: From Clarity to Efficiency
Print on DemandDa: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Codice articolo C9781107036604
Compra nuovo
EUR 111,51
Spedizione EUR 19,43
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Systematic Program Design
Editore:
Cambridge University Press CUP, 2013
ISBN 10: 1107036607
ISBN 13: 9781107036604
Nuovo
Rilegato
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 272. Codice articolo 2645365436
Compra nuovo
EUR 150,19
Spedizione EUR 3,50
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Systematic Program Design
Editore:
Cambridge University Press, 2013
ISBN 10: 1107036607
ISBN 13: 9781107036604
Antico o usato
Rilegato
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 258 | Sprache: Englisch | Produktart: Bücher | Describes a systematic program design method, starting with specifications of computations and deriving implementations by step-wise program analysis and transformations. Codice articolo 23515543/202
Compra usato
EUR 51,27
Spedizione EUR 105,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Systematic Program Design: From Clarity to Efficiency
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Brand New. 240 pages. 9.25x6.25x0.75 inches. In Stock. Codice articolo x-1107036607
Compra nuovo
EUR 141,81
Spedizione EUR 14,67
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Systematic Program Design: From Clarity to Efficiency
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Gebunden. 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. Codice articolo 595313579
Compra nuovo
EUR 108,25
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Systematic Program Design (Hardcover)
Editore:
Cambridge University Press, Cambridge, 2013
ISBN 10: 1107036607
ISBN 13: 9781107036604
Nuovo
Rilegato
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Hardcover. 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. Codice articolo 9781107036604
Compra nuovo
EUR 114,23
Spedizione EUR 43,43
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Systematic Program Design
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
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: 252 pages, 14 b/w illus. 90 exercises. BIC Classification: UMA; UYA. Category: (U) Tertiary Education (US: College). Dimension: 234 x 156 x 20. Weight in Grams: 550. . 2013. Hardback. . . . . Books ship from the US and Ireland. Codice articolo V9781107036604
Compra nuovo
EUR 150,32
Spedizione EUR 9,21
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili