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
|
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
|
Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed CoWydawnictwo: Springer, Berlin ISBN: 9783319602240 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
|
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
|
Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, ProceedingsWydawnictwo: Springer, Berlin ISBN: 9783319522333 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
|