Katalog der Deutschen Nationalbibliothek

Go to:

Media

Available in Frankfurt
Available in Frankfurt
Available in Leipzig
Available in Leipzig
Source
buchhandel.de

Radhia Cousot and VMCAI (6, 2005, Paris)

Verification, model checking, and abstract interpretation : 6th international conference ; proceedings

Berlin, Heidelberg, New York: Springer, 2005

Title

Verification, model checking, and abstract interpretation : 6th international conference ; proceedings / VMCAI 2005, Paris, France, January 17 - 19, 2005. Radhia Cousot (ed.)

Involved 

Radhia Cousot (Herausgeber)
VMCAI (6, 2005, Paris) (Herausgebendes Organ)

Published

Berlin, Heidelberg, New York: Springer
2005

Extent

XI, 481 S. : graph. Darst.

ISBN

978-3-540-24297-0

Language

Englisch

Topic

Informatik

Subject

Programmanalyse, Kongress, Paris <2005>
Programmverifikation, Kongress, Paris <2005>
Model Checking, Kongress, Paris <2005>
Abstrakte Interpretation, Kongress, Paris <2005>

Series

Lecture notes in computer science ; Vol. 3385

Further information

Literaturangaben

Record ID

973503262
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal