Artículos relacionados a Systematic Program Design Paperback: From Clarity to...
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Críticas:
'As an experienced programmer and educator, I have to admit, I felt deep enjoyment while reading this book. It was a pleasant experience.' M. M. Tanik, Computing Reviews
'It will prove very useful for graduate students who wish to start their literature review with a comprehensive example of the state of the art in formal methods, and it is an excellent platform for self-directed learning. This well-structured, comprehensive book reflects the author's experience and strong background in the field. Highly recommended.' L. Benedicenti, Choice
Biografía del autor:
'It will prove very useful for graduate students who wish to start their literature review with a comprehensive example of the state of the art in formal methods, and it is an excellent platform for self-directed learning. This well-structured, comprehensive book reflects the author's experience and strong background in the field. Highly recommended.' L. Benedicenti, Choice
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialCambridge University Press
- Año de publicación2013
- ISBN 10 1107610796
- ISBN 13 9781107610798
- EncuadernaciónTapa blanda
- Número de páginas256
Comprar nuevo
Ver este artículo
EUR 43,75
Gastos de envío:
GRATIS
A Estados Unidos de America
Los mejores resultados en AbeBooks
Imagen de archivo
SYSTEMATIC PROGRAM DESIGN
Publicado por
Cambridge University Press
(2013)
ISBN 10: 1107610796
ISBN 13: 9781107610798
Nuevo
Tapa blanda
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability. Nº de ref. del artículo: ABTR-25540
Comprar nuevo
EUR 43,75
Convertir moneda
Imagen de archivo
SYSTEMATIC PROGRAM DESIGN
Publicado por
Cambridge University Press
(2013)
ISBN 10: 1107610796
ISBN 13: 9781107610798
Nuevo
Tapa blanda
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also. Nº de ref. del artículo: ABRR-25540
Comprar nuevo
EUR 45,26
Convertir moneda
Imagen de archivo
Systematic Program Design
Publicado por
Cambridge University Press CUP
(2013)
ISBN 10: 1107610796
ISBN 13: 9781107610798
Nuevo
Tapa blanda
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. pp. 272. Nº de ref. del artículo: 2645366334
Comprar nuevo
EUR 43,37
Convertir moneda
Imagen de archivo
SYSTEMATIC PROGRAM DESIGN: FROM CLARITY TO EFFICIENCY
Publicado por
Cambridge University Press
(2013)
ISBN 10: 1107610796
ISBN 13: 9781107610798
Nuevo
Tapa blanda
Cantidad disponible: 3
Librería:
Valoración
Descripción Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEOCT23-241152
Comprar nuevo
EUR 52,14
Convertir moneda
Imagen del vendedor
Systematic Program Design: From Clarity to Efficiency by Liu, Yanhong Annie [Paperback ]
Publicado por
Cambridge University Press
(2013)
ISBN 10: 1107610796
ISBN 13: 9781107610798
Nuevo
Soft Cover
Cantidad disponible: 1
Librería:
Valoración
Descripción Soft Cover. Condición: new. Nº de ref. del artículo: 9781107610798
Comprar nuevo
EUR 52,44
Convertir moneda
Imagen de archivo
Systematic Program Design: From Clarity to Efficiency
Publicado por
Cambridge University Press
(2013)
ISBN 10: 1107610796
ISBN 13: 9781107610798
Nuevo
Tapa blanda
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: ABLIING23Mar2317530272388
Comprar nuevo
EUR 49,30
Convertir moneda
Imagen de archivo
Systematic Program Design
Publicado por
Cambridge University Press
(2013)
ISBN 10: 1107610796
ISBN 13: 9781107610798
Nuevo
Tapa blanda
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. pp. 272 14 Illus. Nº de ref. del artículo: 46367713
Comprar nuevo
EUR 45,67
Convertir moneda
Gastos de envío:
EUR 7,59
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Systematic Program Design
Publicado por
Cambridge University Press
(2013)
ISBN 10: 1107610796
ISBN 13: 9781107610798
Nuevo
Tapa blanda
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: new. Questo è un articolo print on demand. Nº de ref. del artículo: 742bafda34755cb83fb40e71f6c17395
Comprar nuevo
EUR 46,77
Convertir moneda
Imagen de archivo
Systematic Program Design: From Clarity to Efficiency
Publicado por
Cambridge Univ Pr
(2013)
ISBN 10: 1107610796
ISBN 13: 9781107610798
Nuevo
Paperback
Cantidad disponible: 1
Librería:
Valoración
Descripción Paperback. Condición: Brand New. 272 pages. 9.20x6.00x0.80 inches. In Stock. Nº de ref. del artículo: __1107610796
Comprar nuevo
EUR 46,40
Convertir moneda
Gastos de envío:
EUR 11,68
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Systematic Program Design
Publicado por
Cambridge University Press
(2013)
ISBN 10: 1107610796
ISBN 13: 9781107610798
Nuevo
Tapa blanda
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Nº de ref. del artículo: ria9781107610798_lsuk
Comprar nuevo
EUR 46,86
Convertir moneda
Gastos de envío:
EUR 11,66
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío