Significant service restrictions in the lending area from 17 March!

Result: Formal Verification of Object-Oriented Software

Title:
Formal Verification of Object-Oriented Software : Papers presented at the International Conference, June 28-30, 2010, Paris, France / Bernhard Beckert ; Claude Marché (Eds.)
Involved:
Beckert, Bernhard (Herausgeber); Marche, Claude (Herausgeber)
Corporation:
FoVeOOS (2010 : Paris)
Published:
Karlsruhe : KIT, 2010
Distribution:
Hannover : Technische Informationsbibliothek (TIB)
Scope:
Online-Ressource
Format:
eBook
Language:
English
Series/ Mutipart item:
Karlsruhe reports in informatics ; 2010,13
Notes:
Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden
Subject Added Keywords:

Additional information

Additional functions