Systematic Program Design: From Clarity to Efficiency
Autor Yanhong Annie Liuen Limba Engleză Paperback – 19 mai 2013
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 298.55 lei 6-8 săpt. | |
Cambridge University Press – 19 mai 2013 | 298.55 lei 6-8 săpt. | |
Hardback (1) | 588.46 lei 6-8 săpt. | |
Cambridge University Press – 19 mai 2013 | 588.46 lei 6-8 săpt. |
Preț: 298.55 lei
Preț vechi: 373.18 lei
-20% Nou
Puncte Express: 448
Preț estimativ în valută:
57.13€ • 59.29$ • 47.75£
57.13€ • 59.29$ • 47.75£
Carte tipărită la comandă
Livrare economică 17-31 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781107610798
ISBN-10: 1107610796
Pagini: 253
Ilustrații: 14 b/w illus. 90 exercises
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.41 kg
Ediția:New.
Editura: Cambridge University Press
Colecția Cambridge University Press
Locul publicării:New York, United States
ISBN-10: 1107610796
Pagini: 253
Ilustrații: 14 b/w illus. 90 exercises
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.41 kg
Ediția:New.
Editura: Cambridge University Press
Colecția Cambridge University Press
Locul publicării:New York, United States
Cuprins
1. Introduction; 2. Loops: incrementalize; 3. Sets: incrementalize and implement; 4. Recursion: iterate and incrementalize; 5. Rules: iterate, incrementalize, and implement; 6. Objects: incrementalize across module abstraction; 7. Conclusion.
Recenzii
'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
'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
Notă biografică
Descriere
Describes a systematic program design method, starting with specifications of computations and deriving implementations by step-wise program analysis and transformations.