Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Type And Effect Systems: Behaviours For Concurrency

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

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 05121556

Nakladateľstvo Imperial College Press, marec 1999

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

Libristo kód: 05121556

252 b

103.92 €

50 % šanca Prehľadáme celý svet Kedy knihu dostanem?

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

Brožovaná

44.19 €

Glück, dein Name ist Katze Julia Gerigk

Brožovaná

4.53 €

EL CLUB DE LOS HERMANOS MAYORES BERROCAL

Kniha

11.09 €

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

Brožovaná

4.13 €

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

Brožovaná

10.08 €

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

Mapa

7.96 €

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

Brožovaná

25.02 €

Acariciando el alma Vidal Martínez

Brožovaná

16.44 €

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

Pevná

10.89 €

La Guerra de Los Mundos Herbert George Wells

Brožovaná

15.23 €

Mozart Para O Contrabaixo: 10 Pe Easy Classical Masterworks

Brožovaná

8.97 €

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

Hračka

11.59 €

Familia Ba Jin

Brožovaná

24.81 €

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

Brožovaná

25.32 €

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

Brožovaná

33.49 €

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

Brožovaná

16.14 €

Die Chirurgie Der Brustorgane Ferdinand Sauerbruch

Brožovaná

76.88 €

Kultur, um der Freiheit willen Christian Meier

Pevná

13.92 €

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.