Process Algebra with Timing: Monographs in Theoretical Computer Science. An EATCS Series
Autor J.C.M. Baeten, C.A. Middelburgen Limba Engleză Hardback – 4 iul 2002
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 315.74 lei 6-8 săpt. | |
Springer Berlin, Heidelberg – 15 dec 2010 | 315.74 lei 6-8 săpt. | |
Hardback (1) | 320.60 lei 6-8 săpt. | |
Springer Berlin, Heidelberg – 4 iul 2002 | 320.60 lei 6-8 săpt. |
Din seria Monographs in Theoretical Computer Science. An EATCS Series
- 20% Preț: 632.50 lei
- 20% Preț: 624.06 lei
- 20% Preț: 317.46 lei
- 20% Preț: 609.53 lei
- 20% Preț: 611.88 lei
- 20% Preț: 896.93 lei
- 20% Preț: 583.40 lei
- 20% Preț: 510.62 lei
- 20% Preț: 614.04 lei
- 20% Preț: 624.19 lei
- 20% Preț: 612.68 lei
- 20% Preț: 1381.43 lei
- 20% Preț: 627.95 lei
- 20% Preț: 312.29 lei
- 20% Preț: 327.37 lei
- 18% Preț: 899.03 lei
- 20% Preț: 730.44 lei
- 20% Preț: 782.92 lei
- 20% Preț: 961.81 lei
- 20% Preț: 941.66 lei
- 15% Preț: 610.80 lei
- 20% Preț: 609.36 lei
- 20% Preț: 940.86 lei
- 20% Preț: 609.22 lei
- 20% Preț: 612.50 lei
- 20% Preț: 611.08 lei
- 20% Preț: 603.13 lei
- 20% Preț: 511.90 lei
- 20% Preț: 605.80 lei
Preț: 320.60 lei
Preț vechi: 400.74 lei
-20% Nou
Puncte Express: 481
Preț estimativ în valută:
61.38€ • 66.50$ • 51.25£
61.38€ • 66.50$ • 51.25£
Carte tipărită la comandă
Livrare economică 12-26 decembrie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540434474
ISBN-10: 354043447X
Pagini: 312
Ilustrații: XIX, 287 p.
Dimensiuni: 155 x 235 x 22 mm
Greutate: 0.58 kg
Ediția:2002
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Monographs in Theoretical Computer Science. An EATCS Series
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 354043447X
Pagini: 312
Ilustrații: XIX, 287 p.
Dimensiuni: 155 x 235 x 22 mm
Greutate: 0.58 kg
Ediția:2002
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Monographs in Theoretical Computer Science. An EATCS Series
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.
Recenzii
From the reviews:
"This book gives a comprehensive overview of more than a decade of development of an algebraic theory of processes with time. … Throughout the text small examples and exercises illustrate the theory. … This book is well-suited as background material or even a starting point for researchers in this field. Due to its excellent readability and its abundance of exercises the book is even suited to be used in an advanced course." (J. F. Groote, Zentralblatt MATH, Vol. 1021, 2003)
"This book gives a comprehensive overview of more than a decade of development of an algebraic theory of processes with time. … Throughout the text small examples and exercises illustrate the theory. … This book is well-suited as background material or even a starting point for researchers in this field. Due to its excellent readability and its abundance of exercises the book is even suited to be used in an advanced course." (J. F. Groote, Zentralblatt MATH, Vol. 1021, 2003)
Caracteristici
Includes supplementary material: sn.pub/extras