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
Austrian Post 5.49 €
GLS courier 4.99 €
DPD courier 4.49 €
DPD point 3.49 €
Shopping guide
My account
▸
Empty :-(
0
Theory and Formal Methods of Computing
Language
English
English
Book
Hardback
The focus of this workshop was the development of mathematically-based techniques of formal specific...
Full description
Libristo code: 05121460
?
334 b
334 b
136.29
€
VAT included
50 % chance
We search the world
When will I receive my book?
Delivery to Austria
Delivery to Austria
Up to 30 days for returns
Customers also purchased
/
Paperback
26.29
€
/
Paperback
11.79
€
/
Paperback
17.95
€
/
Paperback
38.89
€
The focus of this workshop was the development of mathematically-based techniques of formal specification of system behaviour, and the systematic development of implementations. The aim is to produce correct, efficient implementations in a reliable fashion. Topics covered at the workshop include category theory, logic, domain theory, semantics, concurrency, specification and verification. The papers here range from the purely theoretical to practical applications.
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
Theory and Formal Methods of Computing
Author
Chris Hankin, I. Mackie, Rajagopal Nagarajan
Language
English
English
Binding
Book - Hardback
Date of issue
1995
Number of pages
444
EAN
9781860940033
Libristo code
05121460
Publishers
Imperial College Press
Weight
592
Dimensions
230
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 addressYou might also be interested in
/
Paperback
8.69
€
/
Paperback
24.39
€
/
Paperback
13.19
€
/
Paperback
13.79
€
/
Hardback
32.99
€
