• Formal Verification of Object-...
  • *Holdings*

*Result*: Formal Verification of Object-Oriented Software

*Title*:
Formal Verification of Object-Oriented Software : papers presented at the 2nd International Conference ; FoVeOOS ; October 5-7, 2011, Turin, Italy / Bernhard Beckert; Ferruccio Damiani; Dilian Gurov
*Author/editor-in-chief*:
Beckert, Bernhard; Damiani, Ferruccio; Gurov, Dilian
*Publication*:
Karlsruhe : KIT, 2011
*Distribution*:
Hannover : Technische Informationsbibliothek (TIB)
*Physical description scale*:
Online-Ressource (PDF-Datei: 370 S., 6,27 MB) : Ill., graph. Darst.
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Karlsruhe reports in informatics ; 2011, 26
*Notes*:
Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden
*Subject Added Keywords*:

*Additional information*

*Additional functions*