Zur Seitenansicht
 

Titelaufnahme

Titel
FM 2015: Formal methods : 20th international symposium, Oslo, Norway, June 24 - 26, 2015 ; proceedings / Nikolaj Bjørner ... (eds.)
HerausgeberBjørner, Nikolaj In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Nikolaj Bjørner
KörperschaftFM <20., 2015, Oslo> In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach FM
ErschienenCham [u.a.] : Springer, 2015
UmfangXVI, 610 S. : graph. Darst.
SerieLecture notes in computer science ; 9109
SchlagwörterFormale Methode In Wikipedia suchen nach Formale Methode / Kongress In Wikipedia suchen nach Kongress / Oslo <2015> In Wikipedia suchen nach Oslo 2015
ISBN978-3-319-19248-2
Links
Download FM 2015 Formal methods [1,07 mb]
Nachweis
hbz-Verbundkatalog
Verfügbarkeit In meiner Bibliothek
Archiv METS (OAI-PMH)