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… Altro …
Amazon.de (Intern... Costi di spedizione: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… Altro …
Amazon.de (Intern... London Lane Company Costi di spedizione: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… Altro …
Amazon.de (Intern... preigu Costi di spedizione: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… Altro …
Amazon.de (Intern... SuperBookDealsDE Gebraucht, wie neu. Costi di spedizione: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… Altro …
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… Altro …
Roscoe, A.W.:
Understanding Concurrent Systems (Texts in Computer Science) - copertina rigida, flessible2010, 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… Altro …
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… Altro …
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… Altro …
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… Altro …
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Understanding Concurrent Systems (Texts in Computer Science)
EAN (ISBN-13): 9781848822573
ISBN (ISBN-10): 184882257X
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2010
Editore: Springer
527 Pagine
Peso: 0,943 kg
Lingua: eng/Englisch
Libro nella banca dati dal 2009-12-12T03:58:40+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-02-02T21:24:41+01:00 (Zurich)
ISBN/EAN: 184882257X
ISBN - Stili di scrittura alternativi:
1-84882-257-X, 978-1-84882-257-3
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : roscoe, rosc
Titolo del libro: systems art, roscoe, understanding computer science
Dati dell'editore
Autore: A.W. Roscoe
Titolo: Texts in Computer Science; Understanding Concurrent Systems
Editore: Springer; Springer London
530 Pagine
Anno di pubblicazione: 2010-10-25
London; GB
Stampato / Fatto in
Lingua: Inglese
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
Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
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)
< Per archiviare...