Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Type And Effect Systems: Behaviours For Concurrency

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga Type And Effect Systems: Behaviours For Concurrency Torben Amtoft
Libristo kod: 05121556
Nakladnici Imperial College Press, ožujak 1999
Presents and develops current validation techniques for detecting safety violations. The focus of th... Cijeli opis
? points 252 b
103.95 €
50 % šanse Pretražit ćemo cijeli svijet Kada ću dobiti knjigu?

Do 30 dana za povrat

Kupci su kupili i

Medicina psicosomatica e psicologia clinica. Modelli teorici, diagnosi, trattamento Piero Porcelli / Knjiga Meki uvez
common.buy 42.48 €
Glück, dein Name ist Katze Julia Gerigk / Knjiga Meki uvez
common.buy 4.43 €
EL CLUB DE LOS HERMANOS MAYORES BERROCAL / Knjiga Knjiga
common.buy 11.09 €
Top
Domáce precvičovanie matematika 5.ročník Šulc Petr / Knjiga Meki uvez
common.buy 3.42 €
Top
Depeche Mode – Kompletní příběh Andy Jones / Knjiga Meki uvez
common.buy 10.08 €
Fränkisches Seenland 1:100 000 Landesamt für Digitalisierung / Tiskanica Mapa
common.buy 7.96 €
Учебник генетики микроо& Rupal Cengar / Knjiga Meki uvez
common.buy 25.02 €
Acariciando el alma Vidal Martínez / Knjiga Meki uvez
common.buy 15.73 €
Top
Wojenka. O dzieciach, które dorosły bez ostrzeżenia Magdalena Grzebałkowska / Knjiga Tvrdi uvez
common.buy 10.28 €
La Guerra de Los Mundos Herbert George Wells / Knjiga Meki uvez
common.buy 14.83 €
Mozart Para O Contrabaixo: 10 Pe Easy Classical Masterworks / Knjiga Meki uvez
common.buy 9.38 €
Top
Trötsch Plüschpuppe Findus Kuscheltier Trötsch Verlag / Igra/Igračka Igračka
common.buy 11.70 €
Familia Ba Jin / Knjiga Meki uvez
common.buy 23.61 €
Histoire Du Gouvernement Provisoire (2e Ed.) Regnault-E / Knjiga Meki uvez
common.buy 25.32 €
Lettres de Madame de Sevigne, de Sa Famille Et de Ses Amis. Tome 7 Madame De Sevigne / Knjiga Meki uvez
common.buy 35.11 €
Eine Sammlung sinnvoller hermetischer Gedichte Johannes H. von Hohenstätten / Knjiga Meki uvez
common.buy 16.14 €
Die Chirurgie Der Brustorgane Ferdinand Sauerbruch / Knjiga Meki uvez
common.buy 76.90 €
Kultur, um der Freiheit willen Christian Meier / Knjiga Tvrdi uvez
common.buy 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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Type And Effect Systems: Behaviours For Concurrency
Autor Torben Amtoft, etc., Flemming Nielson, Hanne Riis Nielson
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 1999
Broj stranica 268
EAN 9781860941542
ISBN 1860941540
Libristo kod 05121556
Nakladnici Imperial College Press
Težina 499
Dimenzije 161 x 225 x 20

Kategorija

Computing & Information Technology > Business applications > Enterprise software
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer security > Data encryption
Economics, Finance, Business & Management > Business & Management
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Louisiana's Invitation Louisiana State Board of Agriculture and Immigration / Knjiga Meki uvez
common.buy 17.35 €
The Story of the Seattle Mariners Nate LeBoutillier / Knjiga Tvrdi uvez
common.buy 43.29 €
Human Factors for Civil Flight Deck Design Don Harris / Knjiga Meki uvez
common.buy 84.37 €
The Fae Queen's Captive Sierra Simone / Knjiga Meki uvez
common.buy 8.37 €
Saddle and Sabre Hawley Smart / Knjiga Meki uvez
common.buy 20.48 €
The Mysterious Wu Fang #4: The Case of the Suicide Tomb Robert J. Hogan / Knjiga Meki uvez
common.buy 13.01 €
The Life of Oliver Ellsworth. William Garrott Brown / Knjiga Meki uvez
common.buy 33.20 €
John Chapman: A Bibliography Of Johnny Appleseed In American History, Literature And Folklore Robert Price / Knjiga Meki uvez
common.buy 21.18 €
Double Down: The Breakfast Serial Murders Stephen Storc / Knjiga Meki uvez
common.buy 13.01 €
Legends of Marithia: War of Prophecies Complete Trilogy Peter Koevari / Knjiga Meki uvez
common.buy 28.25 €
Charlie and Lola: I Will Not Ever Never Eat a Tomato Board B Lauren Child / Knjiga Tvrdi uvez
common.buy 13.11 €
Artificial Intelligence for Science: A Deep Learning Revolution Geoffrey C. Fox / Knjiga Tvrdi uvez
common.buy 178.83 €
Welcome to Wonderland #2: Beach Party Surf Monkey Chris Grabenstein / Knjiga Meki uvez
common.buy 14.62 €
Top
Owls Stan Tekiela / Knjiga Meki uvez
common.buy 15.73 €
Practical MATLAB Irfan Turk / Knjiga Meki uvez
common.buy 52.37 €
Books Abroad, V5, No. 1, January, 1931: An International Quarterly of Comment on Foreign Books Roy Temple House / Knjiga Meki uvez
common.buy 25.93 €
Povoljno
I've Been Killing Slimes for 300 Years and Maxed Out My Level, Vol. 9 (light novel) KISETSU MORITA / Knjiga Meki uvez
common.buy 11.29 €
Breaking Point R.D. Bertagnolli / Knjiga Meki uvez
common.buy 12.10 €
'The Color of the Skin doesn't Matter' JANICE MCLAUGHLIN / Knjiga Meki uvez
common.buy 39.55 €
Modelling and Simulation Louis G. Birta / Knjiga Meki uvez
common.buy 50.45 €
God Reconsidered: The Promise and Peril of Process Theology Albert Truesdale / Knjiga Meki uvez
common.buy 13.62 €
Fungal Infections and Immune Responses Juneann W. Murphy / Knjiga Meki uvez
common.buy 215.87 €
Cambridge Primary Mathematics Learner's Book 3 Cherri Moseley & Janet Rees / Knjiga Meki uvez
common.buy 20.88 €
Local Girl Missing Claire Douglas / Knjiga Meki uvez
common.buy 9.68 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?