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.
Mehr anzeigenSofort verfügbar, Lieferzeit: 1-3 Tage
Nur noch wenige Artikel verfügbar!
Weitere Infos zum Zustand
-25%
42,79 €
(24.82% gespart)
32,17 €
Preise inkl. MwSt. zzgl. Versandkosten
14 Tage Zufriedenheitsgarantie
Risikofrei bestellen
Geprüfte Gebrauchtware
Einzeln geprüft
Produktinformationen "Tools and Algorithms for the Construction and Analysis of Systems"
Model Checking.- automata and learning.- software verification.- probabilistic systems.- simulations.
Untertitel
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 | B | T | Gramm
235 mm | 155 mm | 23 mm | 0.616 kg
Erscheinungsjahr
2024
FSK
0
Ausgabe
Taschenbuch
Verlag
Palgrave Macmillan
ISBN-10
3031572483
Weitere Mitwirkende
Finkbeiner, Bernd | Kovács, Laura
Sprache
Englisch
Seitenanzahl
408
Themen
Theoretische Informatik, Computermodellierung und -simulation, Software Engineering, Computermodellierung und -simulation, Netzwerk-Hardware
Verantwortliche Person
gemäß Art. 16 GPSR
Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115, Heidelberg, DE, ProductSafety@springernature.com
Anmelden
Versandkostenfrei ab 29 €
14 Tage Rückgaberecht - Kein Risiko
Geprüfte Gebrauchtware