Zur Seitenansicht
 

Titelaufnahme

Titel
Integrated formal methods : 11th international conference, IFM 2014, Bertinoro, Italy, September 9 - 11, 2014 ; proceedings / Elvira Albert ... (eds.)
HerausgeberAlbert, Elvira In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Elvira Albert
KörperschaftIFM <11., 2014, Bertinoro> In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach IFM
ErschienenCham [u.a.] : Springer, 2014
UmfangXI, 390 S. : graph. Darst.
SerieLecture notes in computer science ; 8739
SchlagwörterSoftwareentwicklung In Wikipedia suchen nach Softwareentwicklung / Formale Methode In Wikipedia suchen nach Formale Methode / Kongress In Wikipedia suchen nach Kongress / Bertinoro <2014> In Wikipedia suchen nach Bertinoro 2014 / Systementwicklung In Wikipedia suchen nach Systementwicklung / Formale Methode In Wikipedia suchen nach Formale Methode / Kongress In Wikipedia suchen nach Kongress / Bertinoro <2014> In Wikipedia suchen nach Bertinoro 2014 / Formale Methode In Wikipedia suchen nach Formale Methode / Spezifikationssprache In Wikipedia suchen nach Spezifikationssprache / Verifikation In Wikipedia suchen nach Verifikation / Kongress In Wikipedia suchen nach Kongress / Bertinoro <2014> In Wikipedia suchen nach Bertinoro 2014
ISBN978-3-319-10180-4
Links
Download Integrated formal methods [0,58 mb]
Nachweis
hbz-Verbundkatalog
Verfügbarkeit In meiner Bibliothek
Archiv METS (OAI-PMH)