Free Shipping to all UK customers for orders over £25.00

0 Total items on my wish-list.

Free Shipping to all UK customers for orders over £25.00

Ryefieldbooks Logo

Ryefield Books

Free Shipping to all UK customers for orders over £25.00

Ryefieldbooks Logo

Ryefield Books

Contact Us
[email protected]
© Copyright Ryefield Books - All Right Reserved
Product Categories
My Shopping Cart
Void image

You shopping cart is empty

You may browse our offerings to locate what you're
searching for, then put it in your shopping cart.

Book cover image

Concurrency Verification

By  Job Zwiers

Usually dispatched within 3 - 5 business days.

In Stock (374)

£ 90.00

Description

This 2001 book is an introduction to verifying concurrent programs scaling up to a realistic size. It is self-contained and comprehensive, guiding the reader from advanced undergraduate level. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.

Book Details
EAN:
9780521169325
Binding:
Paperback / softback
Dimensions(mm):
228 x 154 x 42
Publication Date:
2012-01-26
Publication Country:
United Kingdom