Zur Seitenansicht
 

Titelaufnahme

Titel
Software engineering and formal methods : 13th international conference, SEFM 2015, York, UK, September 7 - 11, 2015 ; proceedings / Radu Calinescu ... (eds.)
HerausgeberCalinescu, Radu C. In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Radu C. Calinescu
KörperschaftSEFM <13., 2015, York> In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach SEFM
ErschienenCham [u.a.] : Springer, 2015
UmfangXI, 368 S. : Ill., graph. Darst.
SerieLecture notes in computer science ; 9276
SchlagwörterSoftware Engineering In Wikipedia suchen nach Software Engineering / Formale Methode In Wikipedia suchen nach Formale Methode / Anwendungssystem In Wikipedia suchen nach Anwendungssystem / Kongress In Wikipedia suchen nach Kongress / York <2015> In Wikipedia suchen nach York 2015 / Programmverifikation In Wikipedia suchen nach Programmverifikation / Softwarespezifikation In Wikipedia suchen nach Softwarespezifikation / Model Checking In Wikipedia suchen nach Model Checking / Softwaretest In Wikipedia suchen nach Softwaretest / Programmanalyse In Wikipedia suchen nach Programmanalyse / Kongress In Wikipedia suchen nach Kongress / York <2015> In Wikipedia suchen nach York 2015
ISBN978-3-319-22968-3
Links
Download Software engineering and formal methods [0,61 mb]
Nachweis
hbz-Verbundkatalog
Verfügbarkeit In meiner Bibliothek
Archiv METS (OAI-PMH)