ISBN: 9781848822580
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. Both… Meer...
hive.co.uk No. 9781848822580. Verzendingskosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., exclusief verzendingskosten Details... |
ISBN: 9781848822580
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. Bot… Meer...
Springer.com new in stock. Verzendingskosten:zzgl. Versandkosten. (EUR 0.00) Details... |
ISBN: 9781848822580
Understanding Concurrent Systems: ab 85.49 € eBooks > Sachthemen & Ratgeber > Computer & Internet Springer-Verlag GmbH, Springer-Verlag GmbH
eBook.de Verzendingskosten:in stock, , , DE. (EUR 0.00) Details... |
2010, ISBN: 9781848822580
eBooks, eBook Download (PDF), Auflage, [PU: Springer London], [ED: 1], Springer London, 2010
lehmanns.de Verzendingskosten:Download sofort lieferbar. (EUR 0.00) Details... |
2010, ISBN: 9781848822580
[ED: 1], Auflage, eBook Download (PDF), eBooks, [PU: Springer London]
lehmanns.de Verzendingskosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
ISBN: 9781848822580
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. Both… Meer...
ISBN: 9781848822580
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. Bot… Meer...
ISBN: 9781848822580
Understanding Concurrent Systems: ab 85.49 € eBooks > Sachthemen & Ratgeber > Computer & Internet Springer-Verlag GmbH, Springer-Verlag GmbH
2010, ISBN: 9781848822580
eBooks, eBook Download (PDF), Auflage, [PU: Springer London], [ED: 1], Springer London, 2010
2010, ISBN: 9781848822580
[ED: 1], Auflage, eBook Download (PDF), eBooks, [PU: Springer London]
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Understanding Concurrent Systems
EAN (ISBN-13): 9781848822580
Verschijningsjaar: 10
Uitgever: Springer London
Boek bevindt zich in het datenbestand sinds 2008-07-08T04:58:51+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-03-14T12:22:53+01:00 (Amsterdam)
ISBN/EAN: 9781848822580
ISBN - alternatieve schrijfwijzen:
978-1-84882-258-0
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: roscoe
Gegevens van de uitgever
Auteur: A.W. Roscoe
Titel: Texts in Computer Science; Understanding Concurrent Systems; Theory and Practice of Concurrency
Uitgeverij: Springer; Springer London
530 Bladzijden
Verschijningsjaar: 2010-10-10
London; GB
Gedrukt / Gemaakt in
Taal: Engels
53,49 € (DE)
59,00 CHF (CH)
Available
XVIII, 530 p.
EA; E107; eBook; Nonbooks, PBS / 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; C; Operating Systems; Logics and Meanings of Programs; Operating Systems; Computer Science Logic and Foundations of Programming; Computer Science; 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 MobilityAndere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9781447126003 Understanding Concurrent Systems by A.w. Roscoe Paperback | Indigo Chapters (A. W. Roscoe)
< naar Archief...