- 5 Risultati
prezzo più basso: € 42,86, prezzo più alto: € 266,45, prezzo medio: € 108,66
1
Type and Effect Systems : Behaviors for Concurrency - Torben Amtoft
Ordina
da Thriftbooks.com
$ 50,46
(indicativi € 42,86)
Ordina
Dettagli & spedizione
Link sponsorizzato
Torben Amtoft:

Type and Effect Systems : Behaviors for Concurrency - libri usati

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… Altro …

  - used. Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi
Chiudere (X)
2
Ordina
da Biblio.com
$ 303,19
(indicativi € 266,45)
Spedizione: € 52,721
Ordina
Dettagli del offerente
Link sponsorizzato

Flemming Nielson:

Type and Effect Systems: Behaviours for Concurrency - copertina rigida, flessible

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… Altro …

  - Costi di spedizione: EUR 52.72 Books Express
Chiudere (X)
3
Type and Effect Systems: Behaviours for Concurrency - Flemming Nielson
Ordina
da BarnesandNoble.com
$ 77,42
(indicativi € 68,04)
Ordina
Dettagli & spedizione
Link sponsorizzato
Flemming Nielson:
Type and Effect Systems: Behaviours for Concurrency - copertina rigida, flessible

ISBN: 9781860941542

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

  - new Costi di spedizione:zzgl. Versandkosten, Costi di spedizione aggiuntivi
Chiudere (X)
4
Type and Effect Systems: Behaviours for Concurrency - Flemming Nielson
Ordina
da BarnesandNoble.com
$ 80,55
(indicativi € 70,79)
Ordina
Dettagli & spedizione
Link sponsorizzato
Flemming Nielson:
Type and Effect Systems: Behaviours for Concurrency - copertina rigida, flessible

ISBN: 9781860941542

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

  - new Costi di spedizione:zzgl. Versandkosten, Costi di spedizione aggiuntivi HippoBooks-DB
Chiudere (X)
5
Type And Effect Systems: Behaviours For Concurrency - Torben Amtoft; Hanne Riis Nielson; Flemming Nielson
Ordina
da lehmanns.de
€ 95,15
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Torben Amtoft; Hanne Riis Nielson; Flemming Nielson:
Type And Effect Systems: Behaviours For Concurrency - copertina rigida, flessible

1999, ISBN: 9781860941542

Hardcover, Buch, [PU: Imperial College Press]

Costi di spedizione:Versand in 10-20 Tagen, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Type And Effect Systems: Behaviours For Concurrency
Autore:
Titolo:
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.

Informazioni dettagliate del libro - Type And Effect Systems: Behaviours For Concurrency


EAN (ISBN-13): 9781860941542
ISBN (ISBN-10): 1860941540
Copertina rigida
Anno di pubblicazione: 1999
Editore: Imperial College Press
253 Pagine
Peso: 0,499 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-12-13T21:36:11+01:00 (Rome)
Pagina di dettaglio ultima modifica in 2019-06-13T23:58:05+02:00 (Rome)
ISBN/EAN: 1860941540

ISBN - Stili di scrittura alternativi:
1-86094-154-0, 978-1-86094-154-2
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : nielson hanne riis nielson flemming
Titolo del libro: concurrency, type only

Altri libri che potrebbero essere simili a questo:

Ultimo libro simile:
9781783262113 Type And Effect Systems: Behaviours For Concurrency (Hirschberg Joseph G Hirschberg)

< Per archiviare...