Bookshelf
| can't find it |

| browse books |
books
 

| book details |

Theoretical Aspects of Computer Software: International Conference TACS ’91, Sendai, Japan, September 24–27, 1991. Proceedings

Edited by Takayasu Ito, Edited by Albert R. Meyer

| on special |

normal price: R 3,981.95

Price: R 3,782.95


| book description |

TACS'91 is the first International Conference on Theoretical Aspects of Computer Science held at Tohoku University, Japan, in September 1991. This volume contains 37 papers and an abstract for the talks presented at the conference. TACS'91 focused on theoretical foundations of programming, and theoretical aspects of the design, analysis and implementation of programming languages and systems. The following range of topics is covered: logic, proof, specification and semantics of programs and languages; theories and models of concurrent, parallel and distributed computation; constructive logic, category theory, and type theory in computer science; theory-based systems for specifying, synthesizing, transforming, testing, and verifying software.

| product details |



Normally shipped | Available from overseas. Delivery time is 14 - 21 days
Publisher | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Published date | 28 Aug 1991
Language |
Format | Paperback / softback
Pages | 776
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-5405-4415-9
Readership Age |
BISAC | computers / programming / software development


| other options |



Normally shipped | Available from overseas. Usually dispatched in 14 days
Readership Age |
Normal Price | R 4,614.95
Price | R 4,383.95 | on special |



| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

The Thing at 52

Mr. Ross Montgomery
Hardback
40 pages
was: R 363.95
now: R 345.95
Usually dispatched in 3 to 4 weeks as supplier is out of stock

The Thing at 52 is a beautiful picture book about friendship, loneliness and learning how to say goodbye.

The Silent Patient: The record-breaking, multimillion copy Sunday Times bestselling thriller and TikTok sensation

Alex Michaelides
Paperback / softback
352 pages
was: R 280.95
now: R 252.95
Available from overseas. Dispatched in aprox 4-8 weeks as local supplier is out of stock

With film rights snapped up by an Oscar winning Hollywood production company, rights sold in a world record 43 territories, and rave blurbs from David Baldacci, Lee Child and A.

Free Your Mind: The new world of manipulation and how to resist it

Laura Dodsworth
Paperback / softback
384 pages
was: R 300.95
now: R 270.95
Available from overseas. Dispatched in aprox 4-8 weeks as local supplier is out of stock

The Instant Sunday Times Bestseller Learn how to recognise and resist the daily attempts to control and manipulate your mind.