Normal view MARC view ISBD view

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: TextTextSeries: 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.
List(s) this item appears in: 2015-10-29
Item type Current location Call number Status Date due Barcode Item holds
Book Chennai Mathematical Institute
General Stacks
LNCS (Browse shelf) Available 9671
Total holds: 0

"e-ISSN 1611-3349" --Title page verso.

Includes bibliographical references and index.

Also issued online.

Current copyright fee: GBP19.32 42\0 Uk