> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Konferenzbericht Titel: FM 2005: Formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18 - 22, 2005; proceedings Enthält: Literaturangaben Beteiligte: Fitzgerald, John [Hrsg.] Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2005 Erschienen in: Lecture notes in computer science ; 3582 Umfang: XIV, 558 S.; graph. Darst Sprache: Englisch ISBN: 3540278826; 9783540278825 RVK-Notation: SS 4800 : Lecture notes in computer science Schlagwörter: Formale Methode Softwareentwicklung > Formale Methode Systementwicklung > Formale Methode Softwaretest Softwareentwicklung > Programmanalyse > Programmverifikation > Model Checking Formale Methode Softwareentwicklung > Formale Methode Systementwicklung > Formale Methode Software > Testen Softwareentwicklung > Programmanalyse > Programmverifikation > Model Checking Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Lecture notes in computer science
Bereichsbibliothek DrePunct – Magazin Signatur: R2016 8 6934 Barcode: 31556104 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden