2010, ISBN: 9781848822573
Springer, Gebundene Ausgabe, Auflage: 2010, 548 Seiten, Publiziert: 2010-10-25T00:00:01Z, Produktgruppe: Buch, 4.56 kg, Verkaufsrang: 4373670, Informatik, IT-Ausbildung & -Berufe, Compute… More...
Amazon.de (Intern... Shipping costs:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2010, ISBN: 9781848822573
Springer, Gebundene Ausgabe, Auflage: 2010, 548 Seiten, Publiziert: 2010-10-25T00:00:01Z, Produktgruppe: Buch, 4.56 kg, Verkaufsrang: 4373670, Informatik, IT-Ausbildung & -Berufe, Compute… More...
Amazon.de (Intern... London Lane Company Shipping costs:Gewöhnlich versandfertig in 3 bis 4 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2010, ISBN: 9781848822573
Springer, Gebundene Ausgabe, Auflage: 2010, 548 Seiten, Publiziert: 2010-10-25T00:00:01Z, Produktgruppe: Buch, 4.56 kg, Verkaufsrang: 4373670, Informatik, IT-Ausbildung & -Berufe, Compute… More...
Amazon.de (Intern... preigu Shipping costs:Gewöhnlich versandfertig in 2 bis 3 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2010, ISBN: 9781848822573
Springer, Gebundene Ausgabe, Auflage: 2010, 548 Seiten, Publiziert: 2010-10-25T00:00:01Z, Produktgruppe: Buch, 4.56 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorie… More...
Amazon.de (Intern... SuperBookDealsDE Gebraucht, wie neu. Shipping costs:Gewöhnlich versandfertig in 3 bis 4 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2010, ISBN: 9781848822573
Springer, Gebundene Ausgabe, Auflage: 2010, 548 Seiten, Publiziert: 2010-10-25T00:00:01Z, Produktgruppe: Buch, 4.56 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorie… More...
Amazon.de (Intern... |
2010, ISBN: 9781848822573
Springer, Gebundene Ausgabe, Auflage: 2010, 548 Seiten, Publiziert: 2010-10-25T00:00:01Z, Produktgruppe: Buch, 4.56 kg, Verkaufsrang: 4373670, Informatik, IT-Ausbildung & -Berufe, Compute… More...
2010, ISBN: 9781848822573
Springer, Gebundene Ausgabe, Auflage: 2010, 548 Seiten, Publiziert: 2010-10-25T00:00:01Z, Produktgruppe: Buch, 4.56 kg, Verkaufsrang: 4373670, Informatik, IT-Ausbildung & -Berufe, Compute… More...
2010
ISBN: 9781848822573
Springer, Gebundene Ausgabe, Auflage: 2010, 548 Seiten, Publiziert: 2010-10-25T00:00:01Z, Produktgruppe: Buch, 4.56 kg, Verkaufsrang: 4373670, Informatik, IT-Ausbildung & -Berufe, Compute… More...
2010, ISBN: 9781848822573
Springer, Gebundene Ausgabe, Auflage: 2010, 548 Seiten, Publiziert: 2010-10-25T00:00:01Z, Produktgruppe: Buch, 4.56 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorie… More...
2010, ISBN: 9781848822573
Springer, Gebundene Ausgabe, Auflage: 2010, 548 Seiten, Publiziert: 2010-10-25T00:00:01Z, Produktgruppe: Buch, 4.56 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorie… More...
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - Understanding Concurrent Systems (Texts in Computer Science)
EAN (ISBN-13): 9781848822573
ISBN (ISBN-10): 184882257X
Hardcover
Paperback
Publishing year: 2010
Publisher: Springer
527 Pages
Weight: 0,943 kg
Language: eng/Englisch
Book in our database since 2009-12-12T02:58:40+00:00 (London)
Detail page last modified on 2024-02-02T20:24:41+00:00 (London)
ISBN/EAN: 184882257X
ISBN - alternate spelling:
1-84882-257-X, 978-1-84882-257-3
Alternate spelling and related search-keywords:
Book author: roscoe, rosc
Book title: systems art, roscoe, understanding computer science
Information from Publisher
Author: A.W. Roscoe
Title: Texts in Computer Science; Understanding Concurrent Systems
Publisher: Springer; Springer London
530 Pages
Publishing year: 2010-10-25
London; GB
Printed / Made in
Language: English
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XVIII, 530 p.
BB; Hardcover, Softcover / Informatik, EDV/Betriebssysteme, Benutzeroberflächen; Betriebssysteme; Verstehen; Notation; Variable; communicating sequential process; communication; computer; concurrency; concurrency theory; information; linear optimization; modeling; process algebra; programming; programming language; semantics; verification; Operating Systems; Computer Science Logic and Foundations of Programming; Theoretische Informatik; BC
A Foundation Course in CSP.- Building a Simple Sequential Process.- Understanding CSP.- Parallel Operators.- CSP Case Studies.- Hiding and Renaming.- Beyond Traces.- Further Operators.- Using FDR.- Theory.- Operational Semantics.- Denotational Semantics and Behavioural Models.- Finite Observation Models.- Infinite-Behaviour Models.- The Algebra of CSP.- Using CSP in Practice.- Timed Systems 1: tock-CSP.- Timed Systems 2: Discrete Timed CSP.- More About FDR.- State Explosion and Parameterised Verification.- Exploring Concurrency.- Shared-Variable Programs.- Understanding Shared-Variable Concurrency.- Priority and Mobility.Presents a comprehensive and up-to-date guide to the theory and practice of concurrency Examines the ability of CSP to describe and enable reasoning about parallel systems modelled in other paradigms Contains exercises throughout, and supplies supporting resources online Includes supplementary material: sn.pub/extras
More/other books that might be very similar to this book
Latest similar book:
9788132204121 Understanding Concurrent Systems (Sie) (Pb 2011) (Roscoe A.W.)
- 9788132204121 Understanding Concurrent Systems (Sie) (Pb 2011) (Roscoe A.W.)
- 9781447126003 Understanding Concurrent Systems by A.w. Roscoe Paperback | Indigo Chapters (A. W. Roscoe)
- 9781848822719 Understanding Concurrent Systems (Roscoe, A. W.)
- 9781848822580 Understanding Concurrent Systems (Tibor Kunert)
< to archive...