Software VerificationAuthor :
Paperback
Published : Tuesday 22 February 2022
Description
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021.
You may also like ...
by
Paperback
22 Feb 2022
Computer hardware
€58.49
Extended stock – Dispatch 5-7 days
by
Paperback
20 Sep 2022
Christian life and practice
€16.37
Extended stock – Dispatch 5-7 days
by
Paperback
30 Jun 2016
Plays, playscripts
€12.86
Extended stock – Dispatch 5-7 days
Reviews