Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
1st ed. 2021
Book Details
Format
Paperback / Softback
Book Series
Theoretical Computer Science and General Issues
ISBN-10
303091383X
ISBN-13
9783030913830
Edition
1st ed. 2021
Publisher
Springer Nature Switzerland AG
Imprint
Springer Nature Switzerland AG
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Nov 22nd, 2021
Print length
219 Pages
Ksh 9,900.00
Werezi Extended Catalogue
Delivery in 14 days
Delivery Location
Delivery fee: Select location
Delivery in 14 days
Secure
Quality
Fast
His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research.
Get Model Checking, Synthesis, and Learning by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer Nature Switzerland AG and it has pages.
