Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point
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
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft
DPD courier 1 190 Ft
GLS point 1 190 Ft
Hungarian Post 1 795 Ft
Hungarian Post 1 690 Ft
Hungarian Post 1 690 Ft
FoxPost 1 190 Ft
Packeta point 1 190 Ft
GLS courier 1 690 Ft
Contact
How to shop
Help
Delivery
DPD point 990 Ft
DPD courier 1 190 Ft
GLS point 1 190 Ft
Hungarian Post 1 795 Ft
Hungarian Post 1 690 Ft
Hungarian Post 1 690 Ft
FoxPost 1 190 Ft
Packeta point 1 190 Ft
GLS courier 1 690 Ft
Free delivery for purchases over 19 990 Ft
Shopping guide
We’re here for you!
+36 9 6998 040
My account
▸
Empty :-(
0
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point
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
?
416 b
416 b
62 879
Ft
50 % chance
We search the world
When will I receive my book?
Up to 30 days for returns
Customers also purchased
/
Paperback
11 906
Ft
/
Paperback
5 422
Ft
/
Paperback
6 465
Ft
/
Paperback
17 800
Ft
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
4 078
Ft
/
Paperback
8 628
Ft
/
Paperback
6 208
Ft
/
Paperback
6 451
Ft
/
Hardback
15 441
Ft
