Process Algebra with Timing - nuovo livro
ISBN: 9783662049952
This book is concerned with a number of theories that can be used for describ ing and analyzing systems of interacting components in case it is desirable or necessary to regard their tim… mais…
Springer.com new in stock. Custos de envio:zzgl. Versandkosten. (EUR 0.00) Details... |
Process Algebra with Timing - nuovo livro
2013, ISBN: 9783662049952
eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2013
lehmanns.de Custos de envio:Download sofort lieferbar. (EUR 0.00) Details... |
Process Algebra with Timing - nuovo livro
2013, ISBN: 9783662049952
eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
lehmanns.de Custos de envio:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
ISBN: 9783662049952
Process Algebra with Timing ab 101.99 EURO Medien > Bücher
eBook.de Nr. Custos de envio:, , DE. (EUR 0.00) Details... |
Hugendubel.de Nr. Custos de envio:, , DE. (EUR 0.00) Details... |
Process Algebra with Timing - nuovo livro
ISBN: 9783662049952
This book is concerned with a number of theories that can be used for describ ing and analyzing systems of interacting components in case it is desirable or necessary to regard their tim… mais…
J.C.M. Baeten; C.A. Middelburg:
Process Algebra with Timing - nuovo livro2013, ISBN: 9783662049952
eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2013
Process Algebra with Timing - nuovo livro
2013
ISBN: 9783662049952
eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
ISBN: 9783662049952
Process Algebra with Timing ab 101.99 EURO Medien > Bücher
ISBN: 9783662049952
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Process Algebra with Timing
EAN (ISBN-13): 9783662049952
Ano de publicação: 2013
Editor/Editora: Springer Berlin Heidelberg
Livro na base de dados desde 2016-12-17T19:22:47-02:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2021-12-03T12:34:26-03:00 (Sao Paulo)
Número ISBN/EAN: 9783662049952
Número ISBN - Ortografia alternativa:
978-3-662-04995-2
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: baeten
Dados da editora
Autor: J.C.M. Baeten
Título: Monographs in Theoretical Computer Science. An EATCS Series; Process Algebra with Timing
Editora: Springer; Springer Berlin
287 Páginas
Ano de publicação: 2013-03-09
Berlin; Heidelberg; DE
Língua: Inglês
55,00 € (DE)
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Absolute Timing; Computer; Continuous Time; Correct Design; Dependable Computing; Discrete Timing; Process Algebra; Reactive Systems; Relative Timing; System; complex system; complex systems; object oriented design; data structures; B; Theory of Computation; Software Engineering; Symbolic and Algebraic Manipulation; Data Science; Algebra; Computer Science; Software Engineering; Mathematik für Informatiker; Datenbanken; Algebra; BB
1. No Timing.- 2. Discrete Relative Timing.- 3. Discrete Absolute Timing.- 4. Continuous Relative Timing.- 5. Continuous Absolute Timing.- 6. Abstraction.- 7. Features.- A.1 Elimination.- A.2 Soundness.- A.3 Completeness.- B. Background Material.- B.1 Basic Equational Logic and SOS Theory.- B.1.1 Equational Logic.- B.1.2 SOS Theory.- B.2 Some Further Topics.- B.2.1 TSSs with Negative Premises.- B.2.2 Variable Binding Operators.- B.2.3 Conservativity and Completeness.- B.2.4 Generalizations.- B.2.5 Given Sorts and Parametrization.- B.3 Non-negative Real Numbers.- References.Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9783642077883 Process Algebra with Timing (J.C.M. Baeten)
< Para arquivar...