Verification, Model Checking, and Abstract InterpretationPublisher: Springer Nature Year: 09/01/2017 ISBN: 9783319522340 Publication form: eBook: Reflowable eTextbook (ePub)
|
488.13 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Networked Systems: Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected PapersPublisher: Springer, Berlin ISBN: 9783319268491 Publication form: paperback
|
Ask about the product
|
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, ProceedingsPublisher: Springer, Berlin ISBN: 9783642026577 Publication form: paperback
|
Ask about the product
|
Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, ProceedingsPublisher: Springer, Berlin ISBN: 9783031199912 Publication form: paperback
|
Ask about the product
|
Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, ProceedingsPublisher: Springer, Berlin ISBN: 9783642156427 Publication form: paperback
|
Ask about the product
|