- 5 resultados
menor preço: € 42.86, preço mais alto: € 266.45, preço médio: € 108.66
1
Type and Effect Systems : Behaviors for Concurrency - Torben Amtoft
Encomendar
no/na Thriftbooks.com
$ 50.46
(aproximadamente € 42.86)
Encomendar
Detalhes e envio
Link patrocinado
Torben Amtoft:

Type and Effect Systems : Behaviors for Concurrency - livro usado

ISBN: 1860941540

Concurrent and distributed processes occur everywhere: in embedded systems, in information networks and databases, and in the form of applets roaming around on the World-Wide-Web. This bo… mais…

  - used. Custos de envio:zzgl. Versandkosten., mais custos de envio
fechar(X)
2
Encomendar
no/na Biblio.com
$ 303.19
(aproximadamente € 266.45)
Envio: € 52.721
Encomendar
Detalhes fornecedor
Link patrocinado

Flemming Nielson:

Type and Effect Systems: Behaviours for Concurrency - encadernada, livro de bolso

ISBN: 9781860941542

Imperial College Press. Hardcover. Good. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May not contain Access Codes or Supplements. Buy with confidence, e… mais…

  - Custos de envio: EUR 52.72 Books Express
fechar(X)
3
Type and Effect Systems: Behaviours for Concurrency - Flemming Nielson
Encomendar
no/na BarnesandNoble.com
$ 77.42
(aproximadamente € 68.04)
Encomendar
Detalhes e envio
Link patrocinado
Flemming Nielson:
Type and Effect Systems: Behaviours for Concurrency - encadernada, livro de bolso

ISBN: 9781860941542

Type and Effect Systems: Behaviours for Concurrency Type-and-Effect-Systems~~Flemming-Nielson Technology Programming>Windows>Programming Hardcover, Imperial College Press

  - new Custos de envio:zzgl. Versandkosten, mais custos de envio
fechar(X)
4
Type and Effect Systems: Behaviours for Concurrency - Flemming Nielson
Encomendar
no/na BarnesandNoble.com
$ 80.55
(aproximadamente € 70.79)
Encomendar
Detalhes e envio
Link patrocinado
Flemming Nielson:
Type and Effect Systems: Behaviours for Concurrency - encadernada, livro de bolso

ISBN: 9781860941542

Type and Effect Systems: Behaviours for Concurrency Type-and-Effect-Systems~~Flemming-Nielson Technology Programming>Windows>Programming Hardcover, Imperial College Press

  - new Custos de envio:zzgl. Versandkosten, mais custos de envio HippoBooks-DB
fechar(X)
5
Type And Effect Systems: Behaviours For Concurrency - Torben Amtoft; Hanne Riis Nielson; Flemming Nielson
Encomendar
no/na lehmanns.de
€ 95.15
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
Torben Amtoft; Hanne Riis Nielson; Flemming Nielson:
Type And Effect Systems: Behaviours For Concurrency - encadernada, livro de bolso

1999, ISBN: 9781860941542

Hardcover, Buch, [PU: Imperial College Press]

Custos de envio:Versand in 10-20 Tagen, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)
fechar(X)
1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do item, de uma possível adesão à plataforma, de uma entrega direta pela plataforma ou através de um fornecedor terceirizado (Marketplace), etc., é possível que os custos de envio indicados pela terralivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
Type And Effect Systems: Behaviours For Concurrency
Autor:
Título:
Número ISBN:

1860941540


Concurrent and distributed processes occur everywhere: in embedded systems, in information networks and databases, and in the form of applets roaming around on the World-Wide-Web. This book presents and develops state-of-the-art validation techniques for detecting safety violations; the focus 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 (or structured effects) 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.

Dados detalhados do livro - Type And Effect Systems: Behaviours For Concurrency


EAN (ISBN-13): 9781860941542
ISBN (ISBN-10): 1860941540
Livro de capa dura
Ano de publicação: 1999
Editor/Editora: Imperial College Press
253 Páginas
Peso: 0,499 kg
Língua: eng/Englisch

Livro na base de dados desde 2007-12-13T18:36:11-02:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2019-06-13T18:58:05-03:00 (Sao Paulo)
Número ISBN/EAN: 1860941540

Número ISBN - Ortografia alternativa:
1-86094-154-0, 978-1-86094-154-2
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: nielson hanne riis nielson flemming
Título do livro: concurrency, type only

Outros livros adicionais, que poderiam ser muito similares com este livro:

Último livro semelhante:
9781783262113 Type And Effect Systems: Behaviours For Concurrency (Hirschberg Joseph G Hirschberg)

< Para arquivar...