Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Type And Effect Systems: Behaviours For Concurrency

Língua InglêsInglês
Livro Livro de capa dura
Livro Type And Effect Systems: Behaviours For Concurrency Torben Amtoft
Código Libristo: 05121556
Editoras Imperial College Press, março 1999
Presents and develops current validation techniques for detecting safety violations. The focus of th... Descrição completa
? points 264 b
108.89 €
50% de hipóteses Procuremos no mundo Quando vou receber o meu livro?

Até 30 dias para devoluções

Os clientes também compraram

Medicina psicosomatica e psicologia clinica. Modelli teorici, diagnosi, trattamento Piero Porcelli / Livro Capa mole
common.buy 42.46 €
Glück, dein Name ist Katze Julia Gerigk / Livro Capa mole
common.buy 4.64 €
EL CLUB DE LOS HERMANOS MAYORES BERROCAL / Livro Livro
common.buy 11.72 €
Principal
Domáce precvičovanie matematika 5.ročník Šulc Petr / Livro Capa mole
common.buy 4.03 €
Principal
Depeche Mode – Kompletní příběh Andy Jones / Livro Capa mole
common.buy 11.11 €
Fränkisches Seenland 1:100 000 Landesamt für Digitalisierung / Artigos impressos Mapa
common.buy 8.48 €
Учебник генетики микроо& Rupal Cengar / Livro Capa mole
common.buy 26.48 €
Acariciando el alma Vidal Martínez / Livro Capa mole
common.buy 15.76 €
Principal
Wojenka. O dzieciach, które dorosły bez ostrzeżenia Magdalena Grzebałkowska / Livro Livro de capa dura
common.buy 10.30 €
La Guerra de Los Mundos Herbert George Wells / Livro Capa mole
common.buy 14.05 €
Mozart Para O Contrabaixo: 10 Pe Easy Classical Masterworks / Livro Capa mole
common.buy 9.39 €
Principal
Trötsch Plüschpuppe Findus Kuscheltier Trötsch Verlag / Jogo/brinquedo Brinquedo
common.buy 12.33 €
Familia Ba Jin / Livro Capa mole
common.buy 23.65 €
Histoire Du Gouvernement Provisoire (2e Ed.) Regnault-E / Livro Capa mole
common.buy 26.68 €
Lettres de Madame de Sevigne, de Sa Famille Et de Ses Amis. Tome 7 Madame De Sevigne / Livro Capa mole
common.buy 35.18 €
Eine Sammlung sinnvoller hermetischer Gedichte Johannes H. von Hohenstätten / Livro Capa mole
common.buy 17.08 €
Die Chirurgie Der Brustorgane Ferdinand Sauerbruch / Livro Capa mole
common.buy 81.19 €
Kultur, um der Freiheit willen Christian Meier / Livro Livro de capa dura
common.buy 14.75 €

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.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Type And Effect Systems: Behaviours For Concurrency
Autor Torben Amtoft, etc., Flemming Nielson, Hanne Riis Nielson
Língua Inglês
Encadernação Livro - Livro de capa dura
Data de emissão 1999
Número de páginas 268
EAN 9781860941542
ISBN 1860941540
Código Libristo 05121556
Editoras Imperial College Press
Peso 499
Dimensões 161 x 225 x 20

Categorias

Informática & tecnologia da informação > Aplicações empresariais > Programas empresariais
Informática & tecnologia da informação > Programação & engenharia informática > Algoritmos e estruturas de dados
Informática & tecnologia da informação > Segurança informática > Encriptação de dados
Economia, finanças, empresa & gestão > Empresa & gestão
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Louisiana's Invitation Louisiana State Board of Agriculture and Immigration / Livro Capa mole
common.buy 18.49 €
The Story of the Seattle Mariners Nate LeBoutillier / Livro Livro de capa dura
common.buy 41.35 €
Human Factors for Civil Flight Deck Design Don Harris / Livro Capa mole
common.buy 84.52 €
The Fae Queen's Captive Sierra Simone / Livro Capa mole
common.buy 8.38 €
Saddle and Sabre Hawley Smart / Livro Capa mole
common.buy 21.73 €
The Mysterious Wu Fang #4: The Case of the Suicide Tomb Robert J. Hogan / Livro Capa mole
common.buy 12.33 €
The Life of Oliver Ellsworth. William Garrott Brown / Livro Capa mole
common.buy 31.64 €
John Chapman: A Bibliography Of Johnny Appleseed In American History, Literature And Folklore Robert Price / Livro Capa mole
common.buy 20.21 €
Double Down: The Breakfast Serial Murders Stephen Storc / Livro Capa mole
common.buy 12.33 €
Legends of Marithia: War of Prophecies Complete Trilogy Peter Koevari / Livro Capa mole
common.buy 26.89 €
Charlie and Lola: I Will Not Ever Never Eat a Tomato Board B Lauren Child / Livro Livro de capa dura
common.buy 13.03 €
Artificial Intelligence for Science: A Deep Learning Revolution Geoffrey C. Fox / Livro Livro de capa dura
common.buy 188.06 €
Welcome to Wonderland #2: Beach Party Surf Monkey Chris Grabenstein / Livro Capa mole
common.buy 15.36 €
Principal
Owls Stan Tekiela / Livro Capa mole
common.buy 15.76 €
Practical MATLAB Irfan Turk / Livro Capa mole
common.buy 52.47 €
Books Abroad, V5, No. 1, January, 1931: An International Quarterly of Comment on Foreign Books Roy Temple House / Livro Capa mole
common.buy 24.66 €
Económico
I've Been Killing Slimes for 300 Years and Maxed Out My Level, Vol. 9 (light novel) KISETSU MORITA / Livro Capa mole
common.buy 11.32 €
Breaking Point R.D. Bertagnolli / Livro Capa mole
common.buy 12.12 €
'The Color of the Skin doesn't Matter' JANICE MCLAUGHLIN / Livro Capa mole
common.buy 39.63 €
Modelling and Simulation Louis G. Birta / Livro Capa mole
common.buy 53.28 €
God Reconsidered: The Promise and Peril of Process Theology Albert Truesdale / Livro Capa mole
common.buy 12.83 €
Fungal Infections and Immune Responses Juneann W. Murphy / Livro Capa mole
common.buy 226.49 €
Cambridge Primary Mathematics Learner's Book 3 Cherri Moseley & Janet Rees / Livro Capa mole
common.buy 20.82 €
Local Girl Missing Claire Douglas / Livro Capa mole
common.buy 11.52 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?