Skip to content
Scan a barcode
Scan
Paperback Theoretical Aspects of Computing -- Ictac 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings Book

ISBN: 3642397174

ISBN13: 9783642397172

Theoretical Aspects of Computing -- Ictac 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

Stochastic Pi-calculus Revisited.- A Clock-Based Framework for Construction of Hybrid Systems.- Advances in Quantitative Verification for Ubiquitous Computing.- Mobile Membranes: Computability and Complexity.- Cruise Control in Hybrid Event-B.- From Distributions to Probabilistic Reactive Programs.- Hol-TestGen/fw: An Environment for Specification-Based Firewall Conformance Testing.- Random Walks on Some Basic Classes of Digraphs.- A Probabilistic...

Recommended

Format: Paperback

Condition: New

$54.99
50 Available
Ships within 2-3 days

Customer Reviews

0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured