2002, ISBN: 9783642077883
Process Algebra with Timing ab 103.49 EURO Monographs in Theoretical Computer Science. An EATCS Series. Softcover reprint of hardcover 1st ed. 2002. Process Algebra with Timing ab 103.49 … mais…
eBook.de No. 13924366. Custos de envio:Zzgl. Versandkosten., mais custos de envio Details... |
ISBN: 9783642077883
Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], Timing issues are of growing importance for the conceptualization and design of computer-based systems. Even if timin… mais…
BookDepository.com Custos de envio:Versandkostenfrei. (EUR 0.00) Details... |
ISBN: 9783642077883
Computer Science; Theory of Computation; Software Engineering; Symbolic and Algebraic Manipulation; Data Structures; Algebra Absolute Timing, Computer, Continuous Time, Correct Design, De… mais…
Springer.com Custos de envio: EUR 0.00 Details... |
Process Algebra with Timing als Buch von J. C. M. Baeten, C. A. Middelburg - encadernada, livro de bolso
ISBN: 9783642077883
Lieferung innerhalb 1-4 Werktagen. Versandkostenfrei, wenn Buch oder Hörbuch enthalten ist, sonst 2,95 EUR. Ab 19,90 EUR versandkostenfrei. (Deutschland) Bücher > Ratgeber > Computer … mais…
Hugendubel.de No. 13924366. Custos de envio:Zzgl. Versandkosten. (EUR 0.00) Details... |
2010, ISBN: 9783642077883
Edição encadernada
Softcover reprint of hardcover 1st ed. 2002, Softcover, Buch, [PU: Springer Berlin]
lehmanns.de Custos de envio:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2002, ISBN: 9783642077883
Process Algebra with Timing ab 103.49 EURO Monographs in Theoretical Computer Science. An EATCS Series. Softcover reprint of hardcover 1st ed. 2002. Process Algebra with Timing ab 103.49 … mais…
ISBN: 9783642077883
Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], Timing issues are of growing importance for the conceptualization and design of computer-based systems. Even if timin… mais…
ISBN: 9783642077883
Computer Science; Theory of Computation; Software Engineering; Symbolic and Algebraic Manipulation; Data Structures; Algebra Absolute Timing, Computer, Continuous Time, Correct Design, De… mais…
Process Algebra with Timing als Buch von J. C. M. Baeten, C. A. Middelburg - encadernada, livro de bolso
ISBN: 9783642077883
Lieferung innerhalb 1-4 Werktagen. Versandkostenfrei, wenn Buch oder Hörbuch enthalten ist, sonst 2,95 EUR. Ab 19,90 EUR versandkostenfrei. (Deutschland) Bücher > Ratgeber > Computer … mais…
2010, ISBN: 9783642077883
Edição encadernada
Softcover reprint of hardcover 1st ed. 2002, Softcover, Buch, [PU: Springer Berlin]
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Process Algebra with Timing
EAN (ISBN-13): 9783642077883
ISBN (ISBN-10): 3642077889
Livro de capa dura
Livro de bolso
Ano de publicação: 2010
Editor/Editora: Springer Berlin
Livro na base de dados desde 2012-02-09T07:38:56-02:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2021-01-26T06:44:20-03:00 (Sao Paulo)
Número ISBN/EAN: 9783642077883
Número ISBN - Ortografia alternativa:
3-642-07788-9, 978-3-642-07788-3
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: baeten, middel, baet
Título do livro: process algebra, timing
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: 2010-12-15
Berlin; Heidelberg; DE
Impresso / Feito em
Língua: Inglês
54,99 € (DE)
BC; Hardcover, Softcover / 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; Theory of Computation; Software Engineering; Symbolic and Algebraic Manipulation; Data Science; Algebra; 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:
9783662049952 Process Algebra with Timing (J.C.M. Baeten; C.A. Middelburg)
< Para arquivar...