Check order status

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

Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Type And Effect Systems: Behaviours For Concurrency

Name: Type And Effect Systems: Behaviours For Concurrency
Brand: Imperial College Press
SKU: 05121556
Price: 102.99 EUR
Availability: InStock
Author: Torben Amtoft
ISBN: 9781860941542

Language

English

Book Hardback

Libristo code: 05121556

Publishers Imperial College Press, March 1999

Presents and develops current validation techniques for detecting safety violations. The focus of th... Full description

Libristo code: 05121556

252 b

102.99 € VAT included

50 % chance We search the world When will I receive my book?

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Medicina psicosomatica e psicologia clinica. Modelli teorici, diagnosi, trattamento Piero Porcelli

Paperback

36.29 €

Glück, dein Name ist Katze Julia Gerigk

Paperback

3.99 €

EL CLUB DE LOS HERMANOS MAYORES BERROCAL

Book

10.99 €

Domáce precvičovanie matematika 5.ročník Šulc Petr

Paperback

3.19 €

Depeche Mode – Kompletní příběh Andy Jones

Paperback

9.19 €

Fränkisches Seenland 1:100 000 Landesamt für Digitalisierung

Map

8.70 €

Учебник генетики микроо& Rupal Cengar

Paperback

24.79 €

Acariciando el alma Vidal Martínez

Paperback

14.79 €

Wojenka. O dzieciach, które dorosły bez ostrzeżenia Magdalena Grzebałkowska

Hardback

9.59 €

La Guerra de Los Mundos Herbert George Wells

Paperback

15.49 €

Mozart Para O Contrabaixo: 10 Pe Easy Classical Masterworks

Paperback

9.79 €

Trötsch Plüschpuppe Findus Kuscheltier Trötsch Verlag

Toy

12.95 €

Familia Ba Jin

Paperback

22.19 €

Histoire Du Gouvernement Provisoire (2e Ed.) Regnault-E

Paperback

22.59 €

Lettres de Madame de Sevigne, de Sa Famille Et de Ses Amis. Tome 7 Madame De Sevigne

Paperback

29.89 €

Eine Sammlung sinnvoller hermetischer Gedichte Johannes H. von Hohenstätten

Paperback

17.95 €

Die Chirurgie Der Brustorgane Ferdinand Sauerbruch

Paperback

79.99 €

Kultur, um der Freiheit willen Christian Meier

Hardback

16.00 €

Presents and develops current validation techniques for detecting safety violations. The focus of the text is on the correctness of techniques that suffice for fully automatic validation of key components of such systems. It builds on and extends the notion of types, popular in many sequential programming languages as a technique for catching certain kinds of errors already at program development time, by incorporating behaviours that are able to track the information flow in the presence of procedures, channel based communication, and the dynamic creation of network topologies. The technical development is performed for a language based on Concurrent ML.