Computer Aided Verification (Record no. 202962)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 03549nam a22006015i 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9783319633909 |
-- | 978-3-319-63390-9 |
040 ## - CATALOGING SOURCE | |
Transcribing agency | CUS |
245 10 - TITLE STATEMENT | |
Title | Computer Aided Verification |
Sub title | 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II / |
Statement of responsibility, etc. | edited by Rupak Majumdar, Viktor Kunčak. |
250 ## - EDITION STATEMENT | |
Edition statement | 1st ed. 2017. |
300 ## - DESCRIPTION | |
Extent | XVII, 623 p. 146 illus. |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | Data Driven Techniques -- Runtime Verication -- Cyber-Physical Systems -- Concurrency -- Analysis of Software and Hardware -- Foundations of Verification -- Distributed and Networked Systems -- Synthesis -- Decision Procedures and their Applications -- Software Analysis. |
650 #0 - SUBJECT | |
Keyword | Computer logic. |
650 #0 - SUBJECT | |
Keyword | Programming languages (Electronic computers). |
650 #0 - SUBJECT | |
Keyword | Software engineering. |
650 #0 - SUBJECT | |
Keyword | Computer programming. |
650 #0 - SUBJECT | |
Keyword | Computers. |
650 #0 - SUBJECT | |
Keyword | Mathematical logic. |
650 14 - SUBJECT | |
Keyword | Logics and Meanings of Programs. |
650 24 - SUBJECT | |
Keyword | Programming Languages, Compilers, Interpreters. |
650 24 - SUBJECT | |
Keyword | Software Engineering. |
650 24 - SUBJECT | |
Keyword | Programming Techniques. |
650 24 - SUBJECT | |
Keyword | Computing Milieux. |
650 24 - SUBJECT | |
Keyword | Mathematical Logic and Formal Languages. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Majumdar, Rupak. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Kunčak, Viktor. |
856 40 - ONLINE RESOURCES | |
url | https://doi.org/10.1007/978-3-319-63390-9 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | e-Books |
912 ## - | |
-- | ZDB-2-SCS |
912 ## - | |
-- | ZDB-2-SXCS |
912 ## - | |
-- | ZDB-2-LNC |
Home library | Current library | Full call number | Accession number | Koha item type |
---|---|---|---|---|
Central Library, Sikkim University | Central Library, Sikkim University | 005.1015113 | E-3087 | e-Books |