Verification, Model Checking, and Abstract InterpretationWydawnictwo: Springer Nature Data wydania: 09/01/2017 ISBN: 9783319522340 Forma publikacji: eBook: Reflowable eTextbook (ePub)
|
488.13 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, ProceedingsWydawnictwo: Springer, Berlin ISBN: 9783642156427 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|
Networked Systems: Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected PapersWydawnictwo: Springer, Berlin ISBN: 9783319268491 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, ProceedingsWydawnictwo: Springer, Berlin ISBN: 9783642026577 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|
Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, ProceedingsWydawnictwo: Springer, Berlin ISBN: 9783031199912 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|