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… Plus…
Amazon.de (Intern... Frais d'envoiDie 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… Plus…
Amazon.de (Intern... London Lane Company Frais d'envoiGewö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… Plus…
Amazon.de (Intern... preigu Frais d'envoiGewö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… Plus…
Amazon.de (Intern... SuperBookDealsDE Gebraucht, wie neu. Frais d'envoiGewö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… Plus…
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… Plus…
Roscoe, A.W.:
Understanding Concurrent Systems (Texts in Computer Science) - edition reliée, livre de poche2010, 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… Plus…
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… Plus…
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… Plus…
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… Plus…
Données bibliographiques du meilleur livre correspondant
Informations détaillées sur le livre - Understanding Concurrent Systems (Texts in Computer Science)
EAN (ISBN-13): 9781848822573
ISBN (ISBN-10): 184882257X
Version reliée
Livre de poche
Date de parution: 2010
Editeur: Springer
527 Pages
Poids: 0,943 kg
Langue: eng/Englisch
Livre dans la base de données depuis 2009-12-12T03:58:40+01:00 (Paris)
Page de détail modifiée en dernier sur 2024-02-02T21:24:41+01:00 (Paris)
ISBN/EAN: 9781848822573
ISBN - Autres types d'écriture:
1-84882-257-X, 978-1-84882-257-3
Autres types d'écriture et termes associés:
Auteur du livre: roscoe, rosc
Titre du livre: systems art, roscoe, understanding computer science
Données de l'éditeur
Auteur: A.W. Roscoe
Titre: Texts in Computer Science; Understanding Concurrent Systems
Editeur: Springer; Springer London
530 Pages
Date de parution: 2010-10-25
London; GB
Imprimé / Fabriqué en
Langue: Anglais
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
Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
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)
< pour archiver...