> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Konferenzbericht Titel: FM 2006 : formal methods ; 14th International Symposium on Formal Methods, Hamilton, Canada, August 21 - 27, 2006 ; proceedings Beteiligte: Misra, Jayadev [Hrsg.] Erschienen: Berlin; Heidelberg: Springer, 2006 Erschienen in: Lecture notes in computer science ; 4085 Umfang: XV, 620 S.; graph. Darst; 235 mm x 155 mm Sprache: Englisch ISBN: 9783540372158; 3540372156 Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 11813040 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: Literaturangaben Weitere Bestandsnachweise 0 : Lecture notes in computer science
Bereichsbibliothek DrePunct – Magazin Signatur: R2016 8 7609 Barcode: 31654420 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bereitstellung voraussichtlich: 1 - 2 Tage nach Bestellung