Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II /

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Enea, Constantin (Editor), Lal, Akash (Editor)
Format: Electronic eBook
Language:English
Published: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Edition:1st ed. 2023.
Series:Lecture Notes in Computer Science, 13965
Subjects:
Online Access:Link to Metadata
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000nam a22000005i 4500
001 978-3-031-37703-7
003 DE-He213
005 20240318094059.0
007 cr nn 008mamaa
008 230717s2023 sz | s |||| 0|eng d
020 |a 9783031377037  |9 978-3-031-37703-7 
024 7 |a 10.1007/978-3-031-37703-7  |2 doi 
050 4 |a QA76.758 
072 7 |a UMZ  |2 bicssc 
072 7 |a COM051230  |2 bisacsh 
072 7 |a UMZ  |2 thema 
082 0 4 |a 005.1  |2 23 
245 1 0 |a Computer Aided Verification  |h [electronic resource] :  |b 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II /  |c edited by Constantin Enea, Akash Lal. 
250 |a 1st ed. 2023. 
264 1 |a Cham :  |b Springer Nature Switzerland :  |b Imprint: Springer,  |c 2023. 
300 |a XVI, 460 p. 388 illus., 76 illus. in color.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Computer Science,  |x 1611-3349 ;  |v 13965 
506 0 |a Open Access 
520 |a The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. 
650 0 |a Software engineering. 
650 0 |a Artificial intelligence. 
650 0 |a Algorithms. 
650 0 |a Computer engineering. 
650 0 |a Computer networks . 
650 1 4 |a Software Engineering. 
650 2 4 |a Artificial Intelligence. 
650 2 4 |a Design and Analysis of Algorithms. 
650 2 4 |a Computer Engineering and Networks. 
700 1 |a Enea, Constantin.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Lal, Akash.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783031377020 
776 0 8 |i Printed edition:  |z 9783031377044 
830 0 |a Lecture Notes in Computer Science,  |x 1611-3349 ;  |v 13965 
856 4 0 |u https://doi.org/10.1007/978-3-031-37703-7  |z Link to Metadata 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
912 |a ZDB-2-LNC 
912 |a ZDB-2-SOB 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710)