Tools and Algorithms for the Construction and Analysis of Systems
30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Model Checking.- automata and learning.- software verification.- probabilistic systems.- simulations.
Show moreAvailable, delivery time: 1-3 days
Only a few items left!
More info about condition
-25%
€42.79
(24.82% saved)
€32.17
Prices incl. VAT plus Shipping costs
14-day satisfaction guarantee
Order risk-free
Checked used goods
Individually checked
Product information "Tools and Algorithms for the Construction and Analysis of Systems"
Model Checking.- automata and learning.- software verification.- probabilistic systems.- simulations.
Subtitle
30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
H | W | D | g
235 mm | 155 mm | 23 mm | 0.616 kg
Publication year
2024
Age rating
0
Edition
Taschenbuch
Publisher
Palgrave Macmillan
ISBN-10
3031572483
Other contributors
Finkbeiner, Bernd | Kovács, Laura
Language
Englisch
Page Count
408
Topics
Theoretische Informatik, Computermodellierung und -simulation, Software Engineering, Computermodellierung und -simulation, Netzwerk-Hardware
Responsible person
according to Art. 16 GPSR
Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115, Heidelberg, DE, ProductSafety@springernature.com
Login
Free shipping from €29
14-day return policy – no risk
Quality-checked used goods