KOBV Portal

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Book

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015, Mumbai, India, January 12 - 14, 2015; proceedings (2015)

D'Souza, Deepak, 1970- ; VMCAI 16. 2015 Mumbai

Berlin [u.a.] :Springer,

add to watchlist on the watchlist

Details

UID:

almahu_BV042276058

Format: XVIII, 466 S. ; , 235 mm x 155 mm.

ISBN: 978-3-662-46080-1

Series Statement: Lecture notes in computer science 8931: Advanced research in computing and software science

Additional Edition: Erscheint auch als Online-Ausgabe ISBN 978-3-662-46081-8

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Programmanalyse ; Programmverifikation ; Model Checking ; Abstrakte Interpretation ; Formale Methode ; Konferenzschrift ; Kongress ; Konferenzschrift ; Konferenzschrift

Author information: D'Souza, Deepak, 1970-

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

Berlin VÖBB/ZLB

TU Berlin

hit 1 - 1 | 1 hit

Kooperativer Bibliotheksverbund

Berlin Brandenburg