Verification of Digital and Hybrid Systems: NATO ASI Subseries F:, cartea 170
Editat de M. Kemal Inan, Robert P. Kurshanen Limba Engleză Paperback – 30 sep 2011
Din seria NATO ASI Subseries F:
- 20% Preț: 615.93 lei
- 20% Preț: 633.26 lei
- 20% Preț: 939.94 lei
- 18% Preț: 1173.60 lei
- 20% Preț: 1826.21 lei
- 20% Preț: 619.83 lei
- 18% Preț: 1168.67 lei
- 20% Preț: 672.30 lei
- 20% Preț: 621.41 lei
- 18% Preț: 1756.62 lei
- 20% Preț: 355.27 lei
- 20% Preț: 939.46 lei
- 20% Preț: 635.61 lei
- 20% Preț: 1823.87 lei
- 20% Preț: 942.11 lei
- Preț: 369.06 lei
- 20% Preț: 623.26 lei
- 20% Preț: 620.61 lei
- 18% Preț: 1160.44 lei
- 18% Preț: 901.73 lei
- 20% Preț: 314.63 lei
- 20% Preț: 1216.46 lei
- 20% Preț: 610.76 lei
- Preț: 375.09 lei
- 18% Preț: 1156.43 lei
- 15% Preț: 609.40 lei
- 20% Preț: 611.39 lei
- 20% Preț: 1215.04 lei
- 20% Preț: 621.73 lei
- 20% Preț: 1215.36 lei
- 20% Preț: 1822.15 lei
- 20% Preț: 343.20 lei
Preț: 617.48 lei
Preț vechi: 771.86 lei
-20% Nou
Puncte Express: 926
Preț estimativ în valută:
118.27€ • 128.22$ • 98.32£
118.27€ • 128.22$ • 98.32£
Carte tipărită la comandă
Livrare economică 02-16 decembrie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783642640520
ISBN-10: 3642640524
Pagini: 428
Ilustrații: XVIII, 405 p.
Dimensiuni: 155 x 235 x 22 mm
Greutate: 0.59 kg
Ediția:Softcover reprint of the original 1st ed. 2000
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria NATO ASI Subseries F:
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3642640524
Pagini: 428
Ilustrații: XVIII, 405 p.
Dimensiuni: 155 x 235 x 22 mm
Greutate: 0.59 kg
Ediția:Softcover reprint of the original 1st ed. 2000
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria NATO ASI Subseries F:
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
I. Discrete Event System Verification.- 1. Overview of Verification.- 2. General Purpose Theorem Proving Methods in the Verification of Digital Hardware and Software.- 3. Temporal Logic and Model Checking.- 4. Model Checking Using Automata Theory.- 5. Complexity Issues in Automata Theoretic Verification.- 6. Symbolic Model Checking.- 7. Compositional Systems and Methods.- 8. Symmetry and Model Checking.- 9. Partial Order Reductions.- 10. Probabilistic Model Checking: Formalisms and Algorithms for Discrete and Real-time Systems.- 11. Formal Verification in a Commercial Setting.- II. Hybrid Systems: Modeling and Verification.- 12. Timed Automata.- 13. The Theory of Hybrid Automata.- 14. On the Composition of Hybrid Systems.- 15. Reach Set Computation Using Optimal Control.- 16. Control for a Class of Hybrid Systems.- 17. The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata.- 18. The Teja System for Real-Time Dynamic Event Management.- 19. Automated Highway Systems: an Example of Hierarchical Control.
Caracteristici
Tutorial overview of state of the art in computer-aided verification Emphasis on industrial applications and hybrid systems Leading international experts present latest research Includes supplementary material: sn.pub/extras