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… Meer...
Amazon.de (Intern... Verzendingskosten: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… Meer...
Amazon.de (Intern... London Lane Company Verzendingskosten: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… Meer...
Amazon.de (Intern... preigu Verzendingskosten: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… Meer...
Amazon.de (Intern... SuperBookDealsDE Gebraucht, wie neu. Verzendingskosten: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… Meer...
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… Meer...
Roscoe, A.W.:
Understanding Concurrent Systems (Texts in Computer Science) - gebonden uitgave, pocketboek2010, 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… Meer...
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… Meer...
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… Meer...
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… Meer...
Bibliografische gegevens van het best passende boek
Gedetalleerde informatie over het boek. - Understanding Concurrent Systems (Texts in Computer Science)
EAN (ISBN-13): 9781848822573
ISBN (ISBN-10): 184882257X
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer
527 Bladzijden
Gewicht: 0,943 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2009-12-12T03:58:40+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-02-02T21:24:41+01:00 (Amsterdam)
ISBN/EAN: 9781848822573
ISBN - alternatieve schrijfwijzen:
1-84882-257-X, 978-1-84882-257-3
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: roscoe, rosc
Titel van het boek: systems art, roscoe, understanding computer science
Gegevens van de uitgever
Auteur: A.W. Roscoe
Titel: Texts in Computer Science; Understanding Concurrent Systems
Uitgeverij: Springer; Springer London
530 Bladzijden
Verschijningsjaar: 2010-10-25
London; GB
Gedrukt / Gemaakt in
Taal: Engels
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
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
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)
< naar Archief...