Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: dcs=004* or dcs=005* or dcs=006*

Zurück zur Trefferliste


Treffer 21436 von 21693 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/1063987148
Art des Inhalts Konferenzschrift, 2014, Kerkira
Titel Leveraging applications of formal methods, verification and validation : 6th international symposium ; proceedings / ISoLA 2014, Imperial, Corfu, Greece, October 8 - 11, 2014. Tiziana Margaria ; Bernhard Steffen (ed.)
Person(en) Margaria, Tiziana (Herausgeber)
Steffen, Bernhard (Herausgeber)
Organisation(en) ISoLA (6. : 2014 : Kerkira) (Herausgebendes Organ)
Verlag Heidelberg ; New York, NY ; Dordrecht ; London ; Berlin : Springer
Umfang/Format 24 cm
Andere Ausgabe(n) Erscheint auch als Online-Ausgabe: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Anmerkungen Literaturangaben
Schlagwörter Softwareentwicklung ; Programmanalyse ; Programmverifikation ; Softwarespezifikation ; Softwaretest ; Formale Methode ; Kongress ; Kerkira <2014>
Systementwurf ; Sicherheitskritisches System ; Requirements engineering ; Verifikation ; Spezifikationstechnik ; Formale Methode ; Kongress ; Kerkira <2014>
DDC-Notation 005.12 [DDC22ger]; 004.21 [DDC22ger]
Sachgruppe(n) 004 Informatik
Zugehörige Bände 2 Publikationen
  1. Leveraging applications of formal methods, verification and validation / Pt. 1. Technologies for mastering change
    2014
  2. Leveraging applications of formal methods, verification and validation / Pt. 2. Specialized techniques and applications
    2014





Treffer 21436 von 21693
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration