- 5 resultaten
laagste prijs: € 42,86, hoogste prijs: € 266,45, gemiddelde prijs: € 108,66
1
Type and Effect Systems : Behaviors for Concurrency - Torben Amtoft
bestellen
bij Thriftbooks.com
$ 50,46
(ongeveer € 42,86)
bestellenGesponsorde link
Torben Amtoft:

Type and Effect Systems : Behaviors for Concurrency - gebruikt boek

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

  - used. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
2
bestellen
bij Biblio.com
$ 303,19
(ongeveer € 266,45)
verzending: € 52,721
bestellenGesponsorde link

Flemming Nielson:

Type and Effect Systems: Behaviours for Concurrency - gebonden uitgave, pocketboek

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

  - Verzendingskosten: EUR 52.72 Books Express
3
Type and Effect Systems: Behaviours for Concurrency - Flemming Nielson
bestellen
bij BarnesandNoble.com
$ 77,42
(ongeveer € 68,04)
bestellenGesponsorde link
Flemming Nielson:
Type and Effect Systems: Behaviours for Concurrency - gebonden uitgave, pocketboek

ISBN: 9781860941542

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

  - new Verzendingskosten:zzgl. Versandkosten, exclusief verzendingskosten
4
Type and Effect Systems: Behaviours for Concurrency - Flemming Nielson
bestellen
bij BarnesandNoble.com
$ 80,55
(ongeveer € 70,79)
bestellenGesponsorde link
Flemming Nielson:
Type and Effect Systems: Behaviours for Concurrency - gebonden uitgave, pocketboek

ISBN: 9781860941542

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

  - new Verzendingskosten:zzgl. Versandkosten, exclusief verzendingskosten HippoBooks-DB
5
Type And Effect Systems: Behaviours For Concurrency - Torben Amtoft; Hanne Riis Nielson; Flemming Nielson
bestellen
bij lehmanns.de
€ 95,15
verzending: € 0,001
bestellenGesponsorde link
Torben Amtoft; Hanne Riis Nielson; Flemming Nielson:
Type And Effect Systems: Behaviours For Concurrency - gebonden uitgave, pocketboek

1999, ISBN: 9781860941542

Hardcover, Buch, [PU: Imperial College Press]

Verzendingskosten:Versand in 10-20 Tagen, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)

1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Type And Effect Systems: Behaviours For Concurrency

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.

Gedetalleerde informatie over het boek. - Type And Effect Systems: Behaviours For Concurrency


EAN (ISBN-13): 9781860941542
ISBN (ISBN-10): 1860941540
Gebonden uitgave
Verschijningsjaar: 1999
Uitgever: Imperial College Press
253 Bladzijden
Gewicht: 0,499 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2007-12-13T21:36:11+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2019-06-13T23:58:05+02:00 (Amsterdam)
ISBN/EAN: 1860941540

ISBN - alternatieve schrijfwijzen:
1-86094-154-0, 978-1-86094-154-2
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: nielson hanne riis nielson flemming
Titel van het boek: concurrency, type only


Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9781783262113 Type And Effect Systems: Behaviours For Concurrency (Hirschberg Joseph G Hirschberg)


< naar Archief...