Bookshelf
study guides books reading lists e-books
home sign in my orders my e-books my trolley my account contact

| browse books |
books
 

books

| book details |

Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop

Edited by Chris Hankin, Edited by I Mackie, Edited by Rajagopal Nagarajan

| on special |

normal price: R 5 920.95

Price: R 5 328.95

| book description |

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 published here range from the purely theoretical to practical applications.

| product details |



Normally shipped | Usually dispatched in 3 to 4 weeks as supplier is out of stock
Publisher | Imperial College Press
Published date | 1 Oct 1995
Language |
Format | Hardback
Pages | 444
Dimensions | 0 x 0 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-1-8609-4003-3
Readership Age |
BISAC | computers / machine theory

| other options |

| back |
| your trolley |
To view the items in your trolley please sign in.
| sign in |

| specials |

Remarkably Bright Creatures

Shelby Van Pelt
Paperback / softback
384 pages
was: R 522.95
now: R 469.95
Available from overseas. Usually dispatched in 14 days

Dungeon Crawler Carl

Matt Dinniman
Paperback / softback
480 pages
was: R 522.95
now: R 459.95
Available from overseas. Usually dispatched in 14 days

The Correspondent

Virginia Evans
Hardback
288 pages
was: R 450.95
now: R 405.95
Available from overseas. Usually dispatched in 3 to 6 weeks

Broken Country: AMAZON'S BOOK OF THE YEAR - THE MILLION-COPY BESTSELLER

Clare Leslie Hall
Paperback / softback
320 pages


Enquiries only
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
Copyright 2026 |  terms and conditions