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… mais…
hive.co.uk No. 9781848822580. Custos de envio:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., mais custos de envio 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… mais…
Springer.com new in stock. Custos de envio: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 Custos de envio: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 Custos de envio:Download sofort lieferbar. (EUR 0.00) Details... |
2010, ISBN: 9781848822580
[ED: 1], Auflage, eBook Download (PDF), eBooks, [PU: Springer London]
lehmanns.de Custos de envio: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… mais…
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… mais…
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]
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Understanding Concurrent Systems
EAN (ISBN-13): 9781848822580
Ano de publicação: 10
Editor/Editora: Springer London
Livro na base de dados desde 2008-07-08T03:58:51+01:00 (Lisbon)
Página de detalhes modificada pela última vez em 2023-03-14T11:22:53+00:00 (Lisbon)
Número ISBN/EAN: 9781848822580
Número ISBN - Ortografia alternativa:
978-1-84882-258-0
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: roscoe
Dados da editora
Autor: A.W. Roscoe
Título: Texts in Computer Science; Understanding Concurrent Systems; Theory and Practice of Concurrency
Editora: Springer; Springer London
530 Páginas
Ano de publicação: 2010-10-10
London; GB
Impresso / Feito em
Língua: Inglês
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 MobilityOutros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9781447126003 Understanding Concurrent Systems by A.w. Roscoe Paperback | Indigo Chapters (A. W. Roscoe)
< Para arquivar...