Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • Formal Verification of Object-...
  • Bestand

Treffer: Formal Verification of Object-Oriented Software

Titel:
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
Beteiligt:
Beckert, Bernhard; Damiani, Ferruccio; Gurov, Dilian
Veröffent­licht:
Karlsruhe : KIT, 2011
Vertrieb:
Hannover : Technische Informationsbibliothek (TIB)
Umfang:
Online-Ressource (PDF-Datei: 370 S., 6,27 MB) : Ill., graph. Darst.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Karlsruhe reports in informatics ; 2011, 26
Anmerkungen:
Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden
Schlagworte:

Zusatz-Informationen

Zusatz-Funktionen