266 kr
Skickas inom 3-6 vardagar
266 kr
Skickas inom 3-6 vardagar
28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I
460 kr
Skickas inom 10-15 vardagar
28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
460 kr
Skickas inom 10-15 vardagar
28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
1 139 kr
Skickas inom 10-15 vardagar
1 470 kr
Läs direkt efter köp
The 8 full papers were carefully reviewed and selected from 11 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.
573 kr
Skickas inom 10-15 vardagar
739 kr
Läs direkt efter köp
573 kr
Skickas inom 10-15 vardagar
739 kr
Läs direkt efter köp
573 kr
Skickas inom 10-15 vardagar
739 kr
Läs direkt efter köp
573 kr
Skickas inom 10-15 vardagar
739 kr
Läs direkt efter köp