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… Altro …
hive.co.uk No. 9781848822580. Costi di spedizione:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., Costi di spedizione aggiuntivi 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… Altro …
Springer.com new in stock. Costi di spedizione: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 Costi di spedizione: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 Costi di spedizione:Download sofort lieferbar. (EUR 0.00) Details... |
2010, ISBN: 9781848822580
[ED: 1], Auflage, eBook Download (PDF), eBooks, [PU: Springer London]
lehmanns.de Costi di spedizione: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… Altro …
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… Altro …
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]
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Understanding Concurrent Systems
EAN (ISBN-13): 9781848822580
Anno di pubblicazione: 10
Editore: Springer London
Libro nella banca dati dal 2008-07-08T04:58:51+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-03-14T12:22:53+01:00 (Zurich)
ISBN/EAN: 9781848822580
ISBN - Stili di scrittura alternativi:
978-1-84882-258-0
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : roscoe
Dati dell'editore
Autore: A.W. Roscoe
Titolo: Texts in Computer Science; Understanding Concurrent Systems; Theory and Practice of Concurrency
Editore: Springer; Springer London
530 Pagine
Anno di pubblicazione: 2010-10-10
London; GB
Stampato / Fatto in
Lingua: Inglese
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 MobilityAltri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9781447126003 Understanding Concurrent Systems by A.w. Roscoe Paperback | Indigo Chapters (A. W. Roscoe)
< Per archiviare...