Overview
- | Author: Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
- | Publisher: Springer
- | Publication Date: Nov 22, 2021
- | Number of Pages: 232 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 303091383X
- | ISBN-13: 9783030913830
Model Checking, Synthesis, And Learning : Essays Dedicated To Bengt Jonsson On The Occasion Of His 60Th Birthday
$76.99
(No reviews yet)
Write a Review
Write a Review
Springer
Model Checking, Synthesis, And Learning : Essays Dedicated To Bengt Jonsson On The Occasion Of His 60Th Birthday
Product Details
- Author:
- Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
- Publisher:
- Springer
- Publication Date:
- Nov 22, 2021
- Number of pages:
- 232 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 303091383X
- ISBN-13:
- 9783030913830
Reviews
0 Reviews
No reviews yet.
Share your experience and help another reader choose their next book.
You may also like
Shop all
Treewidth, Kernels, and Algorithms : Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday
Springer
$76.99
Computational Models of Rationality. Essays Dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday
College Publications
$27.52
Models : Concepts, Theory, Logic, Reasoning And Semantics: Essays Dedicated To Klaus-Dieter Schewe On The Occasion Of His 60Th Birthday
College Publications
$27.52
A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 13560)
Springer
$108.02