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 … Mehr…
eBook.de No. 13924366. Versandkosten:Zzgl. Versandkosten., zzgl. Versandkosten 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… Mehr…
BookDepository.com Versandkosten: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… Mehr…
Springer.com Versandkosten: EUR 0.00 Details... |
Process Algebra with Timing als Buch von J. C. M. Baeten, C. A. Middelburg - gebunden oder broschiert
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 … Mehr…
Hugendubel.de No. 13924366. Versandkosten:Zzgl. Versandkosten. (EUR 0.00) Details... |
2010, ISBN: 9783642077883
Gebundene Ausgabe
Softcover reprint of hardcover 1st ed. 2002, Softcover, Buch, [PU: Springer Berlin]
lehmanns.de Versandkosten: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 … Mehr…
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… Mehr…
ISBN: 9783642077883
Computer Science; Theory of Computation; Software Engineering; Symbolic and Algebraic Manipulation; Data Structures; Algebra Absolute Timing, Computer, Continuous Time, Correct Design, De… Mehr…
Process Algebra with Timing als Buch von J. C. M. Baeten, C. A. Middelburg - gebunden oder broschiert
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 … Mehr…
2010, ISBN: 9783642077883
Gebundene Ausgabe
Softcover reprint of hardcover 1st ed. 2002, Softcover, Buch, [PU: Springer Berlin]
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Process Algebra with Timing
EAN (ISBN-13): 9783642077883
ISBN (ISBN-10): 3642077889
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin
Buch in der Datenbank seit 2012-02-09T10:38:56+01:00 (Berlin)
Detailseite zuletzt geändert am 2021-01-26T10:44:20+01:00 (Berlin)
ISBN/EAN: 9783642077883
ISBN - alternative Schreibweisen:
3-642-07788-9, 978-3-642-07788-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: baeten, middel, baet
Titel des Buches: process algebra, timing
Daten vom Verlag:
Autor/in: J.C.M. Baeten
Titel: Monographs in Theoretical Computer Science. An EATCS Series; Process Algebra with Timing
Verlag: Springer; Springer Berlin
287 Seiten
Erscheinungsjahr: 2010-12-15
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
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.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783662049952 Process Algebra with Timing (J.C.M. Baeten; C.A. Middelburg)
< zum Archiv...