Katalog der Deutschen Nationalbibliothek

Go to:

Media

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

Bernhard Steffen and VMCAI (5, 2004, Venedig)

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

Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2004

Title

Verification, model checking, and abstract interpretation : 5th international conference ; proceedings / VMCAI 2004, Venice, January 11 - 13, 2004. Bernhard Steffen ; Giorgio Levi (ed.)

Involved 

Bernhard Steffen (Herausgeber)
VMCAI (5, 2004, Venedig) (Herausgebendes Organ)

Published

Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: Springer
2004

Extent

XI, 324 S. : graph. Darst.

ISBN

978-3-540-20803-7

Country

Deutschland

Topic

Informatik

Subject

Programmanalyse, Kongress, Venedig <2004>
Programmverifikation, Kongress, Venedig <2004>
Model Checking, Kongress, Venedig <2004>
Abstrakte Interpretation, Kongress, Venedig <2004>
Formale Methode, Kongress, Venedig <2004>

Series

Lecture notes in computer science ; Vol. 2937

Other editions

Erscheint auch als Online-Ausgabe: Verification, model checking, and abstract interpretation : 5th international conference ; proceedings

Further information

Literaturangaben

Record ID

969607261
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