你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada refinement calculus
refinement calculusrefinement calculus
Type
Physical Book
Publisher
Author
Language
English
Pages
519
ISBN
0387984178
ISBN13
9780387984179
Categories

refinement calculus

Back,Wright (Author) · Springer · Physical Book

refinement calculus - back,wright

Cheaper New Book Imported to Taiwan
Delivery: 17 Sep - 30 Sep Shipping: 12 to 16 business days.
NT$ 3,667
Faster New Book Imported to Taiwan
Delivery: 07 Sep - 15 Sep Shipping: 4 to 5 business days.
NT$ 4,642
NT$ 3,667

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "refinement calculus"

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.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews