Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
DPD courier 3.99 € DPD point 3.49 € GLS courier 4.99 € GLS point 3.99 € Croatian Post 4.99 € Overseas courier 4.99 € Box Now 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro

Systematic Program Design

Language EnglishEnglish
Book Paperback
Book Systematic Program Design Yanhong Annie Liu
Libristo code: 01338516
Publishers Cambridge University Press, May 2013
A systematic program design method can help developers ensure the correctness and performance of pro... Full description
? points 147 b
60.31 €
In stock at our supplier Shipping in 9-13 days

Up to 30 days for returns

Customers also purchased

Entwicklung eines Schatzverfahrens zur Bestimmung robuster Referenzwerte auf geringer Datenbasis unbekannter Gute Marcel Brätz / Book Hardback
common.buy 44.33 €
Ravensburger Kinderpuzzle 12986 - Schöne Pferde 150 Teile XXL - Puzzle für Kinder ab 7 Jahren / Game/Toy Game
common.buy 14.37 €
Alimentare il benessere. Come prevenire il cancro a tavola Franco Berrino / Book Paperback
common.buy 22.81 €
Die Staatshaftung in den Beleihungstatbeständen. Walter Frenz / Book Paperback
common.buy 84.24 €
Gunslinger Spawn Ales Kot / Book Paperback
common.buy 17.28 €
Význam lásky Stephanie Laurens / Book Hardback
common.buy 16.98 €
Python 3 Michael Weigend / Book Hardback
common.buy 26.73 €
Knižka o Ferdovi Mravcovi Juraj Kemka / Audio Audio CD
common.buy 11.65 €
Questions Sur l'Encyclopedie. T5 Voltaire / Book Paperback
common.buy 25.53 €
Kreativní set Háčkováná opice / Book binding.
common.buy 13.06 €
Poemas escogidos 1962-1996 Joseph Brodsky / Book Paperback
common.buy 31.86 €
Psychosomatyka Antonio dos Santos Rodriguez / Book Paperback
common.buy 49.55 €
Искусственный интеллект: путь к новому миру К.В. Пшинник / Book Hardback
common.buy 16.38 €
El principio del pingüino DENIS DOUCET / Book Paperback
common.buy 11.65 €
Prinz Louis Ferdinand Johannes Jacobi / Book Paperback
common.buy 15.17 €
Seres queridos VERA GIACONI / Book Paperback
common.buy 21.71 €
Becks letzter Sommer, 1 DVD Marty Schenk / Video DVD
common.buy 9.64 €
Erdenwissen und Himmelserkenntnis Rudolf Steiner / Book Hardback
common.buy 37.29 €
Das Schloss Hubertusburg sonst und jetzt W. Riemer / Book Paperback
common.buy 17.78 €
Einstein - Myšlienky Albert Einstein / Book Hardback
common.buy 21.91 €
Manual de marketing general y de servicios turísticos Aureli López González / Book Paperback
common.buy 39.50 €
Allgemeine Betriebswirtschaftslehre Max Rudolf Lehmann / Book Paperback
common.buy 52.77 €
Die drei Häscher Arthur Machen / Book Hardback
common.buy 18.49 €
Acta Mathematica G. Mittag-Leffler / Book Paperback
common.buy 31.86 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Systematic Program Design
Author Yanhong Annie Liu
Language English
Binding Book - Paperback
Date of issue 2013
Number of pages 253
EAN 9781107610798
ISBN 1107610796
Libristo code 01338516
Publishers Cambridge University Press
Weight 430
Dimensions 158 x 234 x 16

Categories

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Ancient Egyptian Magic for Modern Witches Reed / Book Paperback
common.buy 15.47 €
JEWISH POST-BIBLICAL HISTORY THROUGH GRE ADELE BILDERSEE / Book Hardback
common.buy 35.18 €
Live Happy: 100 simple ways to fill your life with joy ILONA BONIWELL / Book Paperback
common.buy 16.38 €
Culture and Value Regina Bendix / Book Paperback
common.buy 40.10 €
Inspiratrice, and Other Poems Godo Larner / Book Paperback
common.buy 16.08 €
The Korihor Argument: A Missionary's Journey Out of Mormonism Joseph L Rawlins / Book Paperback
common.buy 19.59 €
Safe Return Doubtful Lazarus Royal / Book Paperback
common.buy 13.26 €
Murder Goes to Church C D Jarmola / Book Paperback
common.buy 15.07 €
Coaches Guide, AER Recreational Archery Curriculum Archery Education Resources / Book Paperback
common.buy 47.24 €
Easter Gift from Jesus: His Love Lifts Us Up Susan Jones / Book Hardback
common.buy 12.46 €
Quit Digging Your Grave with a Knife and Fork Mike Huckabee / Book Paperback
common.buy 17.48 €
The Marine Algae of the Pacific Coast of North America - Parts 1 & 2 William Albert Setchell / Book Paperback
common.buy 23.52 €
SME Cluster Development Mario Davide Parrilli / Book Paperback
common.buy 118.22 €
Transport of Water versus Transport over Water Carlos Ocampo-Martinez / Book Hardback
common.buy 102.33 €
Fire of God Series Gloria Clawson / Book Paperback
common.buy 13.56 €
Bad Driver's Handbook Hank Roll / Book Paperback
common.buy 11.55 €
Adventures with the Superior Teens TRISTYN GUTZMORE / Book Paperback
common.buy 11.95 €
Top
Beehive: Level 5: Workbook Praca zbiorowa / Book Paperback
common.buy 15.57 €
Top
Wicked: The Outstandiful Official Guide to Oz (Universal Pictures' Wicked) Random House / Book Hardback
common.buy 13.86 €
The Optimized Human Jaakko Halmetoja / Book Paperback
common.buy 20.90 €
The Burning Tree / Book Hardback
common.buy 19.80 €
Welcome to France! P Tirard / Book Paperback
common.buy 15.67 €
The Favorites Hennigan / Book Hardback
common.buy 25.94 €
The Dragon Knight's Beloved (Manga) Vol. 5 Ritsu Aozaki / Book Paperback
common.buy 12.76 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?