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 21435 von 21693 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/1036842320
Art des Inhalts Konferenzschrift, 2012, Iraklion
Titel Leveraging applications of formal methods, verification and validation : 5th international symposium ; proceedings / ISoLA 2012, Heraklion, Crete, Greece, October 15 - 18, 2012. Tiziana Margaria ; Bernhard Steffen (ed.)
Person(en) Margaria, Tiziana (Herausgeber)
Steffen, Bernhard (Herausgeber)
Merten, Maik (Herausgeber)
Organisation(en) ISoLA (5 : 2012 : Heraklion) (Herausgebendes Organ)
Verlag Berlin ; Heidelberg : Springer
Umfang/Format 24 cm
Andere Ausgabe(n) Erscheint auch als Online-Ausgabe: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
Anmerkungen Literaturangaben
Schlagwörter Softwareentwicklung ; Programmanalyse ; Programmverifikation ; Softwarespezifikation ; Softwaretest ; Formale Methode ; Kongress ; Iraklion <2012>
Systementwurf ; Sicherheitskritisches System ; Requirements engineering ; Verifikation ; Spezifikationstechnik ; Formale Methode ; Kongress ; Iraklion <2012>
DDC-Notation 005.12 [DDC22ger]; 004.21 [DDC22ger]
Sachgruppe(n) 004 Informatik ; 620 Ingenieurwissenschaften und Maschinenbau ; 610 Medizin, Gesundheit
Zugehörige Bände 2 Publikationen
  1. Leveraging applications of formal methods, verification and validation / Pt. 1. Technologies for mastering change
    2012
  2. Leveraging applications of formal methods, verification and validation / Pt. 2. Applications and case studies
    2012





Treffer 21435 von 21693
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration