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 … Plus…
eBook.de No. 13924366. Frais d'envoiZzgl. Versandkosten., Livraison non-comprise 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… Plus…
BookDepository.com Frais d'envoiVersandkostenfrei. (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… Plus…
Springer.com Frais d'envoi EUR 0.00 Details... |
Process Algebra with Timing als Buch von J. C. M. Baeten, C. A. Middelburg - edition reliée, livre de poche
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 … Plus…
Hugendubel.de No. 13924366. Frais d'envoiZzgl. Versandkosten. (EUR 0.00) Details... |
2010, ISBN: 9783642077883
Edition reliée
Softcover reprint of hardcover 1st ed. 2002, Softcover, Buch, [PU: Springer Berlin]
lehmanns.de Frais d'envoiVersand 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 … Plus…
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… Plus…
ISBN: 9783642077883
Computer Science; Theory of Computation; Software Engineering; Symbolic and Algebraic Manipulation; Data Structures; Algebra Absolute Timing, Computer, Continuous Time, Correct Design, De… Plus…
Process Algebra with Timing als Buch von J. C. M. Baeten, C. A. Middelburg - edition reliée, livre de poche
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 … Plus…
2010, ISBN: 9783642077883
Edition reliée
Softcover reprint of hardcover 1st ed. 2002, Softcover, Buch, [PU: Springer Berlin]
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - Process Algebra with Timing
EAN (ISBN-13): 9783642077883
ISBN (ISBN-10): 3642077889
Version reliée
Livre de poche
Date de parution: 2010
Editeur: Springer Berlin
Livre dans la base de données depuis 2012-02-09T10:38:56+01:00 (Zurich)
Page de détail modifiée en dernier sur 2021-01-26T10:44:20+01:00 (Zurich)
ISBN/EAN: 9783642077883
ISBN - Autres types d'écriture:
3-642-07788-9, 978-3-642-07788-3
Autres types d'écriture et termes associés:
Auteur du livre: baeten, middel, baet
Titre du livre: process algebra, timing
Données de l'éditeur
Auteur: J.C.M. Baeten
Titre: Monographs in Theoretical Computer Science. An EATCS Series; Process Algebra with Timing
Editeur: Springer; Springer Berlin
287 Pages
Date de parution: 2010-12-15
Berlin; Heidelberg; DE
Imprimé / Fabriqué en
Langue: Anglais
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.Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9783662049952 Process Algebra with Timing (J.C.M. Baeten; C.A. Middelburg)
< pour archiver...