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 International Conference, June 28-30, 2010, Paris, France / Bernhard Beckert ; Claude Marché (Eds.)
Beteiligt:
Beckert, Bernhard (Herausgeber); Marche, Claude (Herausgeber)
Körper­schaft:
FoVeOOS (2010 : Paris)
Veröffent­licht:
Karlsruhe : KIT, 2010
Vertrieb:
Hannover : Technische Informationsbibliothek (TIB)
Umfang:
Online-Ressource
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Karlsruhe reports in informatics ; 2010,13
Anmerkungen:
Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden
Schlagworte:

Zusatz-Informationen

Zusatz-Funktionen