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
Contact
How to shop
Help
Delivery
DPD courier 4.99 €
GLS courier 9.99 €
Shopping guide
My account
▸
Empty :-(
0
Mathematics of Program Construction
7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings
Language
English
English
Book
Paperback
This book constitutes the refereed proceedings of the 7th International Conference on the Mathematic...
Full description
Libristo code: 01559585
?
125 b
125 b
51.83
€
In stock at our supplier
Shipping in 5-8 days
Up to 30 days for returns
Customers also purchased
This book constitutes the refereed proceedings of the 7th International Conference on the Mathematics of Program Construction, MPC 2004, held in Stirling, Scotland, UK in July 2004.The 19 revised full papers presented were carefully reviewed and selected from 37 submissions. Among the topics addressed are programming theory, programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics.
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Mathematics of Program Construction
Author
Dexter Kozen, Carron Shankland
Language
English
English
Binding
Book - Paperback
Date of issue
2004
Number of pages
404
EAN
9783540223801
ISBN
3540223800
Libristo code
01559585
Weight
640
Dimensions
160 x 231 x 23
Categories
Computing & Information Technology
>
Computer science
>
Human–computer interaction
>
User interface design & usability
Computing & Information Technology
>
Computer programming / software engineering
>
Compilers & interpreters
Computing & Information Technology
>
Computer programming / software engineering
>
Programming & scripting languages: general
