Type And Effect Systems: Behaviours For Concurrency

Name: Type And Effect Systems: Behaviours For Concurrency
Brand: Imperial College Press
SKU: 9781860941542
Price: 101.06 EUR
Availability: InStock

Autor: Torben Amtoft, etc., Flemming Nielson, Hanne Riis Nielson

Jazyk:

Väzba: Pevná

Vydavateľ: Imperial College Press

Dostupnosť: 50 % šanca

Prehľadáme celý svet

101.06 €

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

Informácie o knihe

Autor

Torben Amtoft, etc., Flemming Nielson, Hanne Riis Nielson

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

1999

Stránok

268

EAN

9781860941542

ISBN

1860941540

Enbook ID

05121556

Vydavateľ

Imperial College Press

Hmotnosť

499

Rozmery

161 x 225 x 20

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Type And Effect Systems: Behaviours For Concurrency

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež