- 5 Results
Lowest price: € 42.86, highest price: € 266.45, average price: € 108.66
1
Type and Effect Systems : Behaviors for Concurrency - Torben Amtoft
Order
at Thriftbooks.com
$ 50.46
(aprox. € 42.86)
Order
Details & Shipping
Sponsored link
Torben Amtoft:

Type and Effect Systems : Behaviors for Concurrency - used book

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… More...

  - used. Shipping costs:zzgl. Versandkosten., plus shipping costs
close (x)
2
Order
at Biblio.com
$ 303.19
(aprox. € 266.45)
Shipment: € 52.721
Order
Provider details
Sponsored link

Flemming Nielson:

Type and Effect Systems: Behaviours for Concurrency - hardcover

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… More...

  - Shipping costs: EUR 52.72 Books Express
close (x)
3
Type and Effect Systems: Behaviours for Concurrency - Flemming Nielson
Order
at BarnesandNoble.com
$ 77.42
(aprox. € 68.04)
Order
Details & Shipping
Sponsored link
Flemming Nielson:
Type and Effect Systems: Behaviours for Concurrency - hardcover

ISBN: 9781860941542

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

  - new Shipping costs:zzgl. Versandkosten, plus shipping costs
close (x)
4
Type and Effect Systems: Behaviours for Concurrency - Flemming Nielson
Order
at BarnesandNoble.com
$ 80.55
(aprox. € 70.79)
Order
Details & Shipping
Sponsored link
Flemming Nielson:
Type and Effect Systems: Behaviours for Concurrency - hardcover

ISBN: 9781860941542

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

  - new Shipping costs:zzgl. Versandkosten, plus shipping costs HippoBooks-DB
close (x)
5
Type And Effect Systems: Behaviours For Concurrency - Torben Amtoft; Hanne Riis Nielson; Flemming Nielson
Order
at lehmanns.de
€ 95.15
Shipment: € 0.001
Order
Provider details
Sponsored link
Torben Amtoft; Hanne Riis Nielson; Flemming Nielson:
Type And Effect Systems: Behaviours For Concurrency - hardcover

1999, ISBN: 9781860941542

Hardcover, Buch, [PU: Imperial College Press]

Shipping costs:Versand in 10-20 Tagen, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by find-more-books.com / find-more-books.com do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Type And Effect Systems: Behaviours For Concurrency
Author:
Title:
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.

Details of the book - Type And Effect Systems: Behaviours For Concurrency


EAN (ISBN-13): 9781860941542
ISBN (ISBN-10): 1860941540
Hardcover
Publishing year: 1999
Publisher: Imperial College Press
253 Pages
Weight: 0,499 kg
Language: eng/Englisch

Book in our database since 2007-12-13T15:36:11-05:00 (New York)
Detail page last modified on 2019-06-13T17:58:05-04:00 (New York)
ISBN/EAN: 1860941540

ISBN - alternate spelling:
1-86094-154-0, 978-1-86094-154-2
Alternate spelling and related search-keywords:
Book author: nielson hanne riis nielson flemming
Book title: concurrency, type only

More/other books that might be very similar to this book

Latest similar book:
9781783262113 Type And Effect Systems: Behaviours For Concurrency (Hirschberg Joseph G Hirschberg)

< to archive...