701- 702 of 702 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
#11244 in Series
eBook $54.99
Title: Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, Author: Jyotirmoy Deshmukh
QUICK ADD
Runtime Verification: 20th…
by Jyotirmoy Deshmukh (Editor), Dejan Nickovic (Editor)
#12399 in Series
eBook $54.99

Pagination Links