Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Type And Effect Systems: Behaviours For Concurrency

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Type And Effect Systems: Behaviours For Concurrency Torben Amtoft
Libristo-code: 05121556
Uitgeverij Imperial College Press, maart 1999
Presents and develops current validation techniques for detecting safety violations. The focus of th... Volledige beschrijving
? points 252 b
104.33 €
50% kans We doorzoeken de hele wereld Wanneer krijg ik het boek?

Tot 30 dagen retourrecht

Klanten kochten ook

Medicina psicosomatica e psicologia clinica. Modelli teorici, diagnosi, trattamento Piero Porcelli / Boek Gebonden (paperback)
common.buy 44.46 €
Glück, dein Name ist Katze Julia Gerigk / Boek Gebonden (paperback)
common.buy 4.85 €
EL CLUB DE LOS HERMANOS MAYORES BERROCAL / Boek Boek
common.buy 11.13 €
TOP
Domáce precvičovanie matematika 5.ročník Šulc Petr / Boek Gebonden (paperback)
common.buy 3.74 €
TOP
Depeche Mode – Kompletní příběh Andy Jones / Boek Gebonden (paperback)
common.buy 10.73 €
Fränkisches Seenland 1:100 000 Landesamt für Digitalisierung / Drukwerk Kaart
common.buy 7.99 €
Учебник генетики микроо& Rupal Cengar / Boek Gebonden (paperback)
common.buy 25.11 €
Acariciando el alma Vidal Martínez / Boek Gebonden (paperback)
common.buy 14.98 €
TOP
Wojenka. O dzieciach, które dorosły bez ostrzeżenia Magdalena Grzebałkowska / Boek Gebonden (harde band)
common.buy 9.72 €
La Guerra de Los Mundos Herbert George Wells / Boek Gebonden (paperback)
common.buy 14.88 €
Mozart Para O Contrabaixo: 10 Pe Easy Classical Masterworks / Boek Gebonden (paperback)
common.buy 9.41 €
TOP
Trötsch Plüschpuppe Findus Kuscheltier Trötsch Verlag / Spel/speelgoed Speelgoed
common.buy 11.64 €
Familia Ba Jin / Boek Gebonden (paperback)
common.buy 22.48 €
Histoire Du Gouvernement Provisoire (2e Ed.) Regnault-E / Boek Gebonden (paperback)
common.buy 26.73 €
Lettres de Madame de Sevigne, de Sa Famille Et de Ses Amis. Tome 7 Madame De Sevigne / Boek Gebonden (paperback)
common.buy 35.24 €
Eine Sammlung sinnvoller hermetischer Gedichte Johannes H. von Hohenstätten / Boek Gebonden (paperback)
common.buy 16.20 €
Die Chirurgie Der Brustorgane Ferdinand Sauerbruch / Boek Gebonden (paperback)
common.buy 77.18 €
Kultur, um der Freiheit willen Christian Meier / Boek Gebonden (harde band)
common.buy 13.97 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Type And Effect Systems: Behaviours For Concurrency
Auteur Torben Amtoft, etc., Flemming Nielson, Hanne Riis Nielson
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 1999
Aantal pagina's 268
EAN 9781860941542
ISBN 1860941540
Libristo-code 05121556
Uitgeverij Imperial College Press
Gewicht 499
Afmetingen 161 x 225 x 20

Categorieën

Informatica en informatietechnologie > Bedrijfsapplicaties > Ondernemingssoftware
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Computerbeveiliging > Data-encryptie
Economie, Financiën, Bedrijf en Management > Bedrijfsmanagement
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Louisiana's Invitation Louisiana State Board of Agriculture and Immigration / Boek Gebonden (paperback)
common.buy 19.64 €
The Story of the Seattle Mariners Nate LeBoutillier / Boek Gebonden (harde band)
common.buy 43.45 €
Human Factors for Civil Flight Deck Design Don Harris / Boek Gebonden (paperback)
common.buy 84.68 €
The Fae Queen's Captive Sierra Simone / Boek Gebonden (paperback)
common.buy 8.40 €
Saddle and Sabre Hawley Smart / Boek Gebonden (paperback)
common.buy 20.55 €
The Mysterious Wu Fang #4: The Case of the Suicide Tomb Robert J. Hogan / Boek Gebonden (paperback)
common.buy 13.06 €
The Life of Oliver Ellsworth. William Garrott Brown / Boek Gebonden (paperback)
common.buy 33.32 €
John Chapman: A Bibliography Of Johnny Appleseed In American History, Literature And Folklore Robert Price / Boek Gebonden (paperback)
common.buy 21.26 €
Double Down: The Breakfast Serial Murders Stephen Storc / Boek Gebonden (paperback)
common.buy 13.06 €
Legends of Marithia: War of Prophecies Complete Trilogy Peter Koevari / Boek Gebonden (paperback)
common.buy 28.36 €
Charlie and Lola: I Will Not Ever Never Eat a Tomato Board B Lauren Child / Boek Gebonden (harde band)
common.buy 13.56 €
Artificial Intelligence for Science: A Deep Learning Revolution Geoffrey C. Fox / Boek Gebonden (harde band)
common.buy 188.42 €
Welcome to Wonderland #2: Beach Party Surf Monkey Chris Grabenstein / Boek Gebonden (paperback)
common.buy 14.68 €
TOP
Owls Stan Tekiela / Boek Gebonden (paperback)
common.buy 15.79 €
Practical MATLAB Irfan Turk / Boek Gebonden (paperback)
common.buy 52.57 €
Books Abroad, V5, No. 1, January, 1931: An International Quarterly of Comment on Foreign Books Roy Temple House / Boek Gebonden (paperback)
common.buy 26.02 €
Voordelig
I've Been Killing Slimes for 300 Years and Maxed Out My Level, Vol. 9 (light novel) KISETSU MORITA / Boek Gebonden (paperback)
common.buy 14.88 €
Breaking Point R.D. Bertagnolli / Boek Gebonden (paperback)
common.buy 12.15 €
'The Color of the Skin doesn't Matter' JANICE MCLAUGHLIN / Boek Gebonden (paperback)
common.buy 39.70 €
Modelling and Simulation Louis G. Birta / Boek Gebonden (paperback)
common.buy 50.64 €
God Reconsidered: The Promise and Peril of Process Theology Albert Truesdale / Boek Gebonden (paperback)
common.buy 13.67 €
Fungal Infections and Immune Responses Juneann W. Murphy / Boek Gebonden (paperback)
common.buy 237.14 €
Cambridge Primary Mathematics Learner's Book 3 Cherri Moseley & Janet Rees / Boek Gebonden (paperback)
common.buy 19.95 €
Local Girl Missing Claire Douglas / Boek Gebonden (paperback)
common.buy 11.54 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?