2012, ISBN: 1447126009
[EAN: 9781447126003], Neubuch, [SC: 18.4], [PU: Springer London], NOTATION; VARIABLE; COMMUNICATINGSEQUENTIALPROCESS; COMMUNICATION; COMPUTER; CONCURRENCY; CONCURRENCYTHEORY; INFORMATION;… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten: EUR 18.40 Details... |
2012, ISBN: 1447126009
[EAN: 9781447126003], Nieuw boek, [SC: 14.19], [PU: Springer London], NOTATION; VARIABLE; COMMUNICATINGSEQUENTIALPROCESS; COMMUNICATION; COMPUTER; CONCURRENCY; CONCURRENCYTHEORY; INFORMAT… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Beoordeling: 5 (van 5)] NEW BOOK. Versandkosten: EUR 14.19 Details... |
2012, ISBN: 1447126009
[EAN: 9781447126003], Neubuch, [SC: 0.0], [PU: Springer London], NOTATION; VARIABLE; COMMUNICATINGSEQUENTIALPROCESS; COMMUNICATION; COMPUTER; CONCURRENCY; CONCURRENCYTHEORY; INFORMATION; … Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
2003, ISBN: 9781447126003
[ED: Taschenbuch], [PU: Springer London], Neuware - CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicati… Mehr…
booklooker.de |
ISBN: 9781447126003
CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C. A.R. Hoare in 1985. Bo… Mehr…
Indigo.ca new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2012, ISBN: 1447126009
[EAN: 9781447126003], Neubuch, [SC: 18.4], [PU: Springer London], NOTATION; VARIABLE; COMMUNICATINGSEQUENTIALPROCESS; COMMUNICATION; COMPUTER; CONCURRENCY; CONCURRENCYTHEORY; INFORMATION;… Mehr…
2012, ISBN: 1447126009
[EAN: 9781447126003], Nieuw boek, [SC: 14.19], [PU: Springer London], NOTATION; VARIABLE; COMMUNICATINGSEQUENTIALPROCESS; COMMUNICATION; COMPUTER; CONCURRENCY; CONCURRENCYTHEORY; INFORMAT… Mehr…
2012
ISBN: 1447126009
[EAN: 9781447126003], Neubuch, [SC: 0.0], [PU: Springer London], NOTATION; VARIABLE; COMMUNICATINGSEQUENTIALPROCESS; COMMUNICATION; COMPUTER; CONCURRENCY; CONCURRENCYTHEORY; INFORMATION; … Mehr…
2003, ISBN: 9781447126003
[ED: Taschenbuch], [PU: Springer London], Neuware - CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicati… Mehr…
ISBN: 9781447126003
CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C. A.R. Hoare in 1985. Bo… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Understanding Concurrent Systems by A.w. Roscoe Paperback | Indigo Chapters
EAN (ISBN-13): 9781447126003
ISBN (ISBN-10): 1447126009
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2012
Herausgeber: A.w. Roscoe
Buch in der Datenbank seit 2013-07-11T18:21:51+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-07-15T15:28:51+02:00 (Berlin)
ISBN/EAN: 9781447126003
ISBN - alternative Schreibweisen:
1-4471-2600-9, 978-1-4471-2600-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: roscoe
Daten vom Verlag:
Autor/in: A.W. Roscoe
Titel: Texts in Computer Science; Understanding Concurrent Systems
Verlag: Springer; Springer London
530 Seiten
Erscheinungsjahr: 2012-12-03
London; GB
Gedruckt / Hergestellt in Niederlande.
Gewicht: 0,831 kg
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XVIII, 530 p.
BC; Operating Systems; 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; Logics and Meanings of Programs; Operating Systems; Computer Science Logic and Foundations of Programming; Theoretische Informatik; BB
Part I: 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 Part II: Theory Operational Semantics Denotational Semantics and Behavioural Models Finite Observation Models Infinite-behaviour Models The Algebra of CSP Part III: Using CSP Timed Systems 1: tock-CSP Timed Systems 2: Discrete Timed CSP More About FDR State Explosion and Parameterised Verification Part IV: Exploring Concurrency Shared-variable Programs Understanding Shared-variable Concurrency Priority and MobilityWeitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9781848822573 Understanding Concurrent Systems (Texts in Computer Science) (Roscoe, A.W.)
< zum Archiv...