The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016. The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named:
| ISBN: | 9783319415277 |
| Publication date: | 14th July 2016 |
| Author: | Swarat Chaudhuri |
| Publisher: | Springer International Publishing AG |
| Format: | Paperback |
| Pagination: | 541 pages |
| Series: | Theoretical Computer Science and General Issues |
| Genres: |
Mathematical theory of computation Software Engineering Computer hardware |
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016. The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions.
Computer Aided Verification features in the following genres: Mathematical theory of computation, Software Engineering, Computer hardware
Paperback. £40.49, down from the £44.99 cover price. Not Available.
Computer Aided Verification was written by Swarat Chaudhuri and published by Springer International Publishing AG
Computer Aided Verification has 541 pages
Yes it is part of Theoretical Computer Science and General Issues series
£40.49, reduced from £44.99. Not Available.