Automated technology for verification and analysis : LNCS 9364 13th International Symposium, ATVA 2015 Shanghai, China, October 12-15, 2015, proceedings / Bernd Finkbeiner, Geguang Pu, Lijun Zhang (eds.).
By: (12th : ATVA (Symposium) (12th : 2015 : Shanghai, China.
Contributor(s): Finkbeiner, Bernd [editor.] | Pu, Geguang [editor.] | Zhang, Lijun [editor.].
Material type: TextSeries: Lecture notes in computer science, 9364; LNCS sublibrary. SL 2, Programming and software engineering.Publisher: Cham : Springer, [2015]Description: xiii, 517 pages : illustrations (black and white) ; 24 cm.Content type: text Media type: unmediated Carrier type: volumeISBN: 9783319249520 (paperback).Subject(s): Automatic theorem proving -- Congresses | ATVA | Automated technology | Verification | AnalysisDDC classification: 004.015113 Online resources: 1850-9999 Also issued online.Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Book | Chennai Mathematical Institute General Stacks | LNCS (Browse shelf) | Available | 9671 |
"e-ISSN 1611-3349" --Title page verso.
Includes bibliographical references and index.
Also issued online.
Current copyright fee: GBP19.32 42\0 Uk