Media type: E-Book; Thesis Title: Software components and formal methods from a computational viewpoint Other titles: Übers. des Hauptsacht.: Softwarekomponenten und formale Methoden unter algorithmischen Gesichtspunkten Contributor: Lambertz, Christian [Author] imprint: 2012 Extent: Online-Ressource Language: English Identifier: RVK notation: ST 233 : Programmverifikation, -qualität, -test, -bewertung Test etc. Keywords: Formale Methode ; Komponente ; Transitionssystem ; Nebenläufigkeit ; Softwarearchitektur ; Reduktion ; Verklemmung ; Verifikation ; Hochschulschrift Origination: University thesis: Mannheim, Univ., Diss., 2013 Footnote: Online publiziert 2013 Access State: Open Access