Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Model Checking, Synthesis, and Learning
Best Price (Coupon Required):
Buy Model Checking, Synthesis, and Learning for $49.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$54.99 | $54.99 |
|
10% OFF
This deals requires coupon
|
$49.50 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
ko-Controlling in Handelsunternehmen
$39.99
Resistance to Targeted Therapies in Multiple Myeloma
$119.00
Kingdom of the Cursed (Kingdom of The Wicked Series #2) by Kerri Maniscalco
$10.99
Algebraic Theory of Locally Nilpotent Derivations
$169.99
The Circulatory System, the Skin, and the Cutaneous Organs of the Domestic Mammals
$179.99
Sensors and Sensing in Biology and Engineering
$169.99
Management of Prader-Willi Syndrome
$129.00
Deutschlands Auslandsanleihen 19241945
$79.99
Finanzpolitik
$149.99
Joan of Arc and Spirituality
$54.99
Symbolic Computation, Number Theory, Special Functions, Physics and Combinatorics
$109.99
Landschaftsformen und Landschaftselemente im Hochgebirge
$44.99
Electric Vehicle Business Models
$109.99
Nonlinear Systems
$109.00
Capital, Systems, and Objects
$39.99
Why Fiscal Stimulus Programs Fail, Volume 2
$99.00
Ecological Risks of Emerging Pollutants in Urbanizing Regions
$179.99
Modular Multilevel Converters with Interleaved Half-Bridge Submodules
$109.00
The 'Sailor Prince' in the Age of Empire
$99.99
Stabilization of Linear Systems
$84.99
The Politics of Genetic Resource Control
$109.99
Professionsbezogene Qualittsentwicklung im interdisziplinren Gesundheitswesen
$69.99
Multinational Companies from Emerging Economies
$54.99
Self-Referentiality of Cognition and (De)Formation of Ethnic Boundaries
$39.99
The British Periodical Press and the French Revolution 1789-99
$39.99
Turnpike Properties in the Calculus of Variations and Optimal Control
$84.99
Star Wars: The High Republic: Tears of the Nameless Book Official shopDisney
$18.99
Vorrang der Abfallverwertung
$69.99
Normativitt in der Kommunikationswissenschaft
$49.99
The Later Affluence of W. B. Yeats and Wallace Stevens
$54.99
Treasury Management
$59.99
PRICAI 2022: Trends in Artificial Intelligence
$99.99
Die rationelle Auswertung der Kohlen als Grundlage fr die Entwicklung der nationalen Industrie
$59.99
Judging the State in International Trade and Investment Law
$99.00
Direct Methods for Limit and Shakedown Analysis of Structures
$109.99
Solid State Ionics for Batteries
$109.99
Encyclopedia of Hydrology and Water Resources
$549.99
Economics of Reciprocity, Giving and Altruism
$109.99
The Solar System
$54.99
Visual Control of Wheeled Mobile Robots
$139.99
