Related Books
Language: en
Pages: 572
Pages: 572
Type: BOOK - Published: 1968 - Publisher:
Language: en
Pages: 282
Pages: 282
Type: BOOK - Published: 1969 - Publisher:
Language: en
Pages: 192
Pages: 192
Type: BOOK - Published: 1975 - Publisher:
Language: en
Pages: 1228
Pages: 1228
Type: BOOK - Published: 1978 - Publisher:
February issue includes Appendix entitled Directory of United States Government periodicals and subscription publications; September issue includes List of depo
Language: en
Pages: 610
Pages: 610
Type: BOOK - Published: 2017-07-11 - Publisher: Springer
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017,