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 … Altro …
eBook.de No. 13924366. Costi di spedizione:Zzgl. Versandkosten., Costi di spedizione aggiuntivi 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… Altro …
BookDepository.com Costi di spedizione: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… Altro …
Springer.com Costi di spedizione: EUR 0.00 Details... |
Process Algebra with Timing als Buch von J. C. M. Baeten, C. A. Middelburg - copertina rigida, flessible
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 … Altro …
Hugendubel.de No. 13924366. Costi di spedizione:Zzgl. Versandkosten. (EUR 0.00) Details... |
2010, ISBN: 9783642077883
edizione con copertina rigida
Softcover reprint of hardcover 1st ed. 2002, Softcover, Buch, [PU: Springer Berlin]
lehmanns.de Costi di spedizione: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 … Altro …
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… Altro …
ISBN: 9783642077883
Computer Science; Theory of Computation; Software Engineering; Symbolic and Algebraic Manipulation; Data Structures; Algebra Absolute Timing, Computer, Continuous Time, Correct Design, De… Altro …
Process Algebra with Timing als Buch von J. C. M. Baeten, C. A. Middelburg - copertina rigida, flessible
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 … Altro …
2010, ISBN: 9783642077883
edizione con copertina rigida
Softcover reprint of hardcover 1st ed. 2002, Softcover, Buch, [PU: Springer Berlin]
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Process Algebra with Timing
EAN (ISBN-13): 9783642077883
ISBN (ISBN-10): 3642077889
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2010
Editore: Springer Berlin
Libro nella banca dati dal 2012-02-09T10:38:56+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2021-01-26T10:44:20+01:00 (Zurich)
ISBN/EAN: 9783642077883
ISBN - Stili di scrittura alternativi:
3-642-07788-9, 978-3-642-07788-3
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : baeten, middel, baet
Titolo del libro: process algebra, timing
Dati dell'editore
Autore: J.C.M. Baeten
Titolo: Monographs in Theoretical Computer Science. An EATCS Series; Process Algebra with Timing
Editore: Springer; Springer Berlin
287 Pagine
Anno di pubblicazione: 2010-12-15
Berlin; Heidelberg; DE
Stampato / Fatto in
Lingua: Inglese
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.Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9783662049952 Process Algebra with Timing (J.C.M. Baeten; C.A. Middelburg)
< Per archiviare...