When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Whsmith.co.uk

Springer Nature Switzerland AG Model Checking, Synthesis, And Learning : Essays Dedicated To Bengt Jonsson On The Occasion Of His 60th Birthday

Whsmith.co.uk

Springer Nature Switzerland AG Model Checking, Synthesis, And Learning : Essays Dedicated To Bengt Jonsson On The Occasion Of His 60th Birthday

This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators.Bengt has made major contributions covering a wide range of topics including verification and learning.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.Besides being an excellent scientist, Bengt is also a leader who has greatly influenced the careers of both his students and his colleagues. His main focus throughout his career has been in the area of formal methods, and the research papers dedicated to him in this volume address related topics, particularly related to model checking, temporal logic, and automata learning.

from £50.59
Seller: Whsmith.co.uk
Buy Now
Springer Nature Switzerland AG Verification, Model Checking, And Abstract Interpretation : 21st International Conference, Vmcai 2020, Orleans, La, Usa, January 16–21, 2020, Proceedings
from£64.39
Springer Nature Switzerland AG Advances In Model And Data Engineering In The Digitalization Era : Medi 2021 International Workshops: Detect, Sias, Csmml, Bioc, Heda, Tallinn, Estonia, June 21–23, 2021, Proceedings
from£64.39
Springer Nature Switzerland AG The Biopsychosocial Model Of Health And Disease : Philosophical And Scientific Developments
from£18.40
Springer Nature Switzerland AG Linear Model Theory : Exercises And Solutions
from£101.19
Springer Nature Switzerland AG Business Models For Sustainability Transitions : How Organisations Contribute To Societal Transformation
from£128.79
Springer Nature Switzerland AG Stochastic Epidemic Models With Inference
from£55.19
Springer Nature Switzerland AG Gamow Shell Model : The Unified Theory Of Nuclear Structure And Reactions
from£68.99

Latest products

By Continuing to use this site you confirm, your consent to us and our partners collecting data from you, using cookies to serve personalised ads, tailoring content to you and optimising the site itself. You can learn more about the collection and use of your data and to change your preferences at any time by seeing our Privacy Policy and Cookie Policy.
Accept