Zur Seitenansicht
 

Titelaufnahme

Titel
Formal methods and software engineering : 17th international conference on formal engineering methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings / Michael Butler, Sylvain Conchon, Fatiha Zaïdi (eds.)
HerausgeberButler, Michael In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Michael Butler ; Conchon, Sylvain In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Sylvain Conchon ; Zaidi, Fatiha In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Fatiha Zaidi
KörperschaftICFEM <17., 2015, Paris> In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach ICFEM
ErschienenCham : Springer, 2015
UmfangXXV, 436 Seiten : Illustrationen
SerieLecture notes in computer science ; 9407
SchlagwörterSoftwareentwicklung In Wikipedia suchen nach Softwareentwicklung / Verifikation In Wikipedia suchen nach Verifikation / Formale Methode In Wikipedia suchen nach Formale Methode
ISBN978-3-319-25422-7
Links
Download Formal methods and software engineering [0,62 mb]
Nachweis
hbz-Verbundkatalog
Verfügbarkeit In meiner Bibliothek
Archiv METS (OAI-PMH)