English
United States
Sign in
Tip from find-more-books.com
Similar books
More/other books that might be very similar to this book
Search tools
Book recommendations
Latest news
Advertising
FILTER
- 0 Results
Lowest price: 4.83 €, highest price: 266.45 €, average price: 102.45 €
Type and Effect Systems - Nielson, Flemming; Nielson, Hanne Riis; Amtoft, Torben
book is out-of-stock
(*)
Nielson, Flemming; Nielson, Hanne Riis; Amtoft, Torben:
Type and Effect Systems - new book

ISBN: 9781860941542

ID: 1223227

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. Computers Computers eBook, World Scientific Publishing Company

New book Ebooks.com
Shipping costs:zzgl. Versandkosten, plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Type and Effect Systems: Behaviours for Concurrency - Amtoft, Torben, Nielson, Flemming, Nielson, Hanne Riis
book is out-of-stock
(*)
Amtoft, Torben, Nielson, Flemming, Nielson, Hanne Riis:
Type and Effect Systems: Behaviours for Concurrency - used book

ISBN: 9781860941542

ID: 703456224

World Scientific Publishing Company. Used - Very Good. Former Library book. Great condition for a used book! Minimal wear. 100% Money Back Guarantee. Shipped to over one million happy customers. Your purchase benefits world literacy!, World Scientific Publishing Company

Used or antiquarian book Biblio.com
Better World Books
Shipping costs:plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Type and Effect Systems: Behaviours for Concurrency - Flemming Nielson
book is out-of-stock
(*)
Flemming Nielson:
Type and Effect Systems: Behaviours for Concurrency - hardcover

ISBN: 9781860941542

ID: 958025046

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

Used or antiquarian book Biblio.com
Books Express
Shipping costs: EUR 52.72
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Type and Effect Systems: Behaviours for Concurrency - Flemming Nielson
book is out-of-stock
(*)
Flemming Nielson:
Type and Effect Systems: Behaviours for Concurrency - hardcover

ISBN: 9781860941542

ID: 9781860941542-U

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

Used or antiquarian book Barnesandnoble.com
HippoBooks-DB
new Shipping costs:zzgl. Versandkosten, plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Type and Effect Systems: Behaviours for Concurrency - Flemming Nielson
book is out-of-stock
(*)
Flemming Nielson:
Type and Effect Systems: Behaviours for Concurrency - hardcover

ISBN: 9781860941542

ID: 9781860941542

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

New book Barnesandnoble.com
new Shipping costs:zzgl. Versandkosten, plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.

Details of the book
Type and Effect Systems: Behaviors 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.

Details of the book - Type and Effect Systems: Behaviors for Concurrency


EAN (ISBN-13): 9781860941542
ISBN (ISBN-10): 1860941540
Hardcover
Publishing year: 1999
Publisher: WORLD SCIENTIFIC PUB CO (
253 Pages
Weight: 0,499 kg
Language: eng/Englisch

Book in our database since 13.12.2007 21:36:11
Book found last time on 26.12.2017 11:39:38
ISBN/EAN: 1860941540

ISBN - alternate spelling:
1-86094-154-0, 978-1-86094-154-2


< to archive...
Related books