Zur Seitenansicht
 

Titelaufnahme

Titel
Software engineering and formal methods : 12th international conference, SEFM 2014 Grenoble, France, September 1 - 5, 2014 ; proceedings / Dimitra Giannakopoulou ... (eds.)
HerausgeberGiannakopoulou, Dimitra In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Dimitra Giannakopoulou
KörperschaftSEFM <12., 2014, Grenoble> In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach SEFM
ErschienenCham [u.a.] : Springer, 2014
UmfangXXI, 394 S. : graph. Darst.
SerieLecture notes in computer science ; 8702
SchlagwörterSoftware Engineering In Wikipedia suchen nach Software Engineering / Formale Methode In Wikipedia suchen nach Formale Methode / Requirements engineering In Wikipedia suchen nach Requirements engineering / Anwendungssystem In Wikipedia suchen nach Anwendungssystem / Kongress In Wikipedia suchen nach Kongress / Grenoble <2014> In Wikipedia suchen nach Grenoble 2014 / Programmverifikation In Wikipedia suchen nach Programmverifikation / Programmanalyse In Wikipedia suchen nach Programmanalyse / Model Checking In Wikipedia suchen nach Model Checking / Softwaretest In Wikipedia suchen nach Softwaretest / Kongress In Wikipedia suchen nach Kongress / Grenoble <2014> In Wikipedia suchen nach Grenoble 2014
ISBN978-3-319-10430-0
Links
Download Software engineering and formal methods [0,76 mb]
Nachweis
Verfügbarkeit In meiner Bibliothek
Archiv METS (OAI-PMH)