
Understanding Artificial Intelligence
Nicolas Sabouret
₹2,664

Performance Modeling and Verification
by Holger Hermanns, Roberto Segala
Springer Nature · 2002 · Paperback
Free delivery. Nothing extra to pay at checkout.
Process Algebra and Probabilistic Methods: Performance Modeling and Verification by Holger Hermanns & Roberto Segala is a 215-page paperback edition published by Springer Nature in 2002.
The book deals with Congresses, Machine theory, Parallel processing (Electronic computers) and Algebra.