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… Más…
Amazon.de (Intern... Gastos de envío: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… Más…
Amazon.de (Intern... London Lane Company Gastos de envío: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… Más…
Amazon.de (Intern... preigu Gastos de envío: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… Más…
Amazon.de (Intern... SuperBookDealsDE Gebraucht, wie neu. Gastos de envío: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… Más…
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… Más…
Roscoe, A.W.:
Understanding Concurrent Systems (Texts in Computer Science) - encuadernado, tapa blanda2010, 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… Más…
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… Más…
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… Más…
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… Más…
Datos bibliográficos del mejor libro coincidente
Detalles del libro - Understanding Concurrent Systems (Texts in Computer Science)
EAN (ISBN-13): 9781848822573
ISBN (ISBN-10): 184882257X
Tapa dura
Tapa blanda
Año de publicación: 2010
Editorial: Springer
527 Páginas
Peso: 0,943 kg
Idioma: eng/Englisch
Libro en la base de datos desde 2009-12-11T20:58:40-06:00 (Mexico City)
Página de detalles modificada por última vez el 2024-02-02T14:24:41-06:00 (Mexico City)
ISBN/EAN: 9781848822573
ISBN - escritura alterna:
1-84882-257-X, 978-1-84882-257-3
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: roscoe, rosc
Título del libro: systems art, roscoe, understanding computer science
Datos del la editorial
Autor: A.W. Roscoe
Título: Texts in Computer Science; Understanding Concurrent Systems
Editorial: Springer; Springer London
530 Páginas
Año de publicación: 2010-10-25
London; GB
Impreso en
Idioma: Inglés
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
Más, otros libros, que pueden ser muy parecidos a este:
Último libro similar:
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)
< para archivar...