Result: Computer Aided Verification

Title:
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II / edited by Isil Dillig, Serdar Tasiran
Responsible:
Dillig, Isil (Herausgeber); Tasiran, Serdar (Herausgeber)
Edition:
1st ed. 2019
Published:
Cham : Springer International Publishing, 2019
Distribution:
Cham : Springer International Publishing AG
Extent:
1 Online-Ressource (XX, 549 Seiten) : 1209 illus., 42 illus. in color.
Format:
eBook
Language:
English
Series/ Mutipart item:
Theoretical Computer Science and General Issues ; 11562
Other editions:
Erscheint auch als Druck-Ausgabe: Computer Aided Verification. - Cham : Springer International Publishing, 2019. - ISBN 9783030255428
ISBN:
9783030255435 ; 3030255433 ; 9783030255428 (Sekundärausgabe) ; 9783030255442 (Sekundärausgabe)
DOI:
10.1007/978-3-030-25543-5

Additional information

Additional functions