Name: mathematics of program construction
SKU: 3427274
Price: 1952.00 TWD
Availability: InStock
ISBN: 9783642133206

Select your country

Americas

Europe

Rest of the world

portada mathematics of program construction

Type

Physical Book

Publisher

Springer

Language

English

Pages

427

ISBN

3642133207

ISBN13

9783642133206

Synopsis "mathematics of program construction"

this book constitutes the refereed proceedings of the 10th international conference on mathematics of program construction, mpc 2010, held in québec city, canada in june 2010. the 19 revised full papers presented together with 1 invited talk and the abstracts of 2 invited talks were carefully reviewed and selected from 37 submissions. the focus is on techniques that combine precision with conciseness, enabling programs to be constructed by formal calculation. within this theme, the scope of the series is very diverse, including programming methodology, program specification and transformation, program analysis, programming paradigms, programming calculi, programming language semantics, security and program logics.

Customers reviews

Have you read this book? Login to add your review.

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