- 5 Resultados
precio mínimo: € 42,86, precio máximo: € 266,45, precio promedio: € 108,66
1
Type and Effect Systems : Behaviors for Concurrency - Torben Amtoft
Pedir
por Thriftbooks.com
$ 50,46
(aprox. € 42,86)
Pedir
Detalles y envío
Enlace patrocinado
Torben Amtoft:

Type and Effect Systems : Behaviors for Concurrency - libro 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… Más…

  - used. Gastos de envío:zzgl. Versandkosten., más gastos de envío
cerrar (X)
2
Pedir
por Biblio.com
$ 303,19
(aprox. € 266,45)
Envío: € 52,721
Pedir
Detalles del proveedor
Enlace patrocinado

Flemming Nielson:

Type and Effect Systems: Behaviours for Concurrency - encuadernado, tapa blanda

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… Más…

  - Gastos de envío: EUR 52.72 Books Express
cerrar (X)
3
Type and Effect Systems: Behaviours for Concurrency - Flemming Nielson
Pedir
por BarnesandNoble.com
$ 77,42
(aprox. € 68,04)
Pedir
Detalles y envío
Enlace patrocinado
Flemming Nielson:
Type and Effect Systems: Behaviours for Concurrency - encuadernado, tapa blanda

ISBN: 9781860941542

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

  - new Gastos de envío:zzgl. Versandkosten, más gastos de envío
cerrar (X)
4
Type and Effect Systems: Behaviours for Concurrency - Flemming Nielson
Pedir
por BarnesandNoble.com
$ 80,55
(aprox. € 70,79)
Pedir
Detalles y envío
Enlace patrocinado
Flemming Nielson:
Type and Effect Systems: Behaviours for Concurrency - encuadernado, tapa blanda

ISBN: 9781860941542

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

  - new Gastos de envío:zzgl. Versandkosten, más gastos de envío HippoBooks-DB
cerrar (X)
5
Type And Effect Systems: Behaviours For Concurrency - Torben Amtoft; Hanne Riis Nielson; Flemming Nielson
Pedir
por lehmanns.de
€ 95,15
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Torben Amtoft; Hanne Riis Nielson; Flemming Nielson:
Type And Effect Systems: Behaviours For Concurrency - encuadernado, tapa blanda

1999, ISBN: 9781860941542

Hardcover, Buch, [PU: Imperial College Press]

Gastos de envío:Versand in 10-20 Tagen, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)
cerrar (X)
1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.

Datos bibliográficos del mejor libro coincidente

Detalles del libro
Type And Effect Systems: Behaviours For Concurrency
Autor:
Título:
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.

Detalles del libro - Type And Effect Systems: Behaviours For Concurrency


EAN (ISBN-13): 9781860941542
ISBN (ISBN-10): 1860941540
Tapa dura
Año de publicación: 1999
Editorial: Imperial College Press
253 Páginas
Peso: 0,499 kg
Idioma: eng/Englisch

Libro en la base de datos desde 2007-12-13T14:36:11-06:00 (Mexico City)
Página de detalles modificada por última vez el 2019-06-13T16:58:05-05:00 (Mexico City)
ISBN/EAN: 1860941540

ISBN - escritura alterna:
1-86094-154-0, 978-1-86094-154-2
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: nielson hanne riis nielson flemming
Título del libro: concurrency, type only

Más, otros libros, que pueden ser muy parecidos a este:

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

< para archivar...