Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Calculus & mathematical analysis

Buy Now

Refinement Calculus - A Systematic Introduction (Paperback, Softcover reprint of the original 1st ed. 1998) Loot Price: R3,024
Discovery Miles 30 240
Repayment Terms: R283 pm x 12*
Add to cart
Refinement Calculus - A Systematic Introduction (Paperback, Softcover reprint of the original 1st ed. 1998): Ralph-Johan Back,...

Refinement Calculus - A Systematic Introduction (Paperback, Softcover reprint of the original 1st ed. 1998)

Ralph-Johan Back, Joakim Wright

Series: Texts in Computer Science

 (sign in to rate)
Loot Price R3,024 Discovery Miles 30 240 | Repayment Terms: R283 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

Donate to Against Period Poverty

Refinement Calculus - A Systematic Introduction (Paperback, Softcover reprint of the original 1st ed. 1998): Ralph-Johan Back,...
Refinement Calculus - A Systematic…
R3,024
Against Period Poverty:
Against Period Poverty
R10
Total price: R3,034
Discovery Miles: 30 340
Terms: R284 pm x 12*
Get the bundle!
Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter question is known as the refinement of programs and the purpose of this book is to consider these questions in a formal setting. In fact, correctness turns out to be a special case of refinement and so the focus is on refinement. Although a reasonable background knowledge is assumed from mathematics and CS, the book is a self-contained introduction suitable for graduate students and researchers coming to this subject for the first time. There are numerous exercises provided of varying degrees of challenge.

General

Imprint: Springer-Verlag New York
Country of origin: United States
Series: Texts in Computer Science
Release date: April 1998
First published: 1998
Authors: Ralph-Johan Back • Joakim Wright
Dimensions: 235 x 155 x 27mm (L x W x T)
Format: Paperback
Pages: 520
Edition: Softcover reprint of the original 1st ed. 1998
ISBN-13: 978-0-387-98417-9
Categories: Books > Science & Mathematics > Mathematics > Calculus & mathematical analysis > General
LSN: 0-387-98417-8
Barcode: 9780387984179

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Numbers, Hypotheses & Conclusions - A Course in Statistics for the Social Sciences (Paperback, 3rd Edition): Colin Tredoux,...
Numbers, Hypotheses & Conclusions - A…
Colin Tredoux, Kevin Durrheim Paperback R969 R836 Discovery Miles 8 360
Calculus - Early Transcendentals, Metric Edition (Hardcover, 9th Edition): James Stewart, Saleem Watson, Daniel K Clegg
Calculus - Early Transcendentals, Metric…
James Stewart, Saleem Watson, … Hardcover R1,338 R1,217 Discovery Miles 12 170
Differential Equations with Boundary-Value Problems, International Metric Edition (Paperback, 9th edition): Dennis Zill
Differential Equations with…
Dennis Zill Paperback R1,290 R1,160 Discovery Miles 11 600
Differential Equations with Boundary-Value Problems, International Edition (Paperback, 8th edition): Warren Wright, Dennis Zill
Differential Equations with…
Warren Wright, Dennis Zill Paperback  (1)
 R1,339 R1,201 Discovery Miles 12 010
Gold C1 Advanced New Edition Students' eText Access Card (Digital product license key, 2nd edition):
Gold C1 Advanced New Edition Students…
Digital product license key R965 Discovery Miles 9 650
Differential Equations with Linear Algebra (Hardcover): Matthew R. Boelkins, Jack L. Goldberg, Merle C Potter
Differential Equations with Linear…
Matthew R. Boelkins, Jack L. Goldberg, … Hardcover R2,832 Discovery Miles 28 320
BI Statistical Methods - Volume I: Foundations (Hardcover): Peter Walley
BI Statistical Methods - Volume I…
Peter Walley Hardcover R2,631 Discovery Miles 26 310
AP Calculus Premium, 2022-2023: 12 Practice Tests + Comprehensive Review + Online Practice (Paperback, Sixteenth Edition):...
AP Calculus Premium, 2022-2023: 12…
David Bock, Dennis Donovan, … Paperback R521 Discovery Miles 5 210
Math Without Numbers (Paperback): Milo Beckman
Math Without Numbers
Milo Beckman Paperback R450 R373 Discovery Miles 3 730
Introduction to Analysis - Pearson New International Edition (Paperback, 4th edition): William Wade
Introduction to Analysis - Pearson New…
William Wade Paperback R2,247 Discovery Miles 22 470
Calculus - A Complete Course (Hardcover, 10th edition): Robert Adams, Christopher Essex
Calculus - A Complete Course
Robert Adams, Christopher Essex Hardcover R2,222 R1,993 Discovery Miles 19 930
Thomas' Calculus: Early Transcendentals, SI Units + MyLab Mathematics with Pearson eText (15th edition): Joel Hass,...
Thomas' Calculus: Early Transcendentals…
Joel Hass, Christopher Heil, … R2,452 Discovery Miles 24 520

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners