> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Konferenzbericht Titel: Automated technology for verification and analysis : 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 ; proceedings Beteiligte: Bouajjani, Ahmed [Hrsg.]; Chin, Wei-Ngan [Sonstige Person, Familie und Körperschaft] Veranstaltung: ATVA Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2010 Erschienen in: Lecture notes in computer science ; 6252 Umfang: XI, 404 S.; graph. Darst Sprache: Englisch ISBN: 3642156428; 9783642156427 Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 80021581 RVK-Notation: SS 4800 : Lecture notes in computer science Schlagwörter: Formale Methode > Verifikation > Softwareentwicklung > Systementwurf > Systemanalyse Formale Methode > Verifikation > Model Checking Formale Methode > Verifikation > Zeitbehafteter Automat Entstehung: Anmerkungen: Literaturangaben Weitere Bestandsnachweise 0 : Lecture notes in computer science
Bereichsbibliothek DrePunct – Magazin Signatur: R2017 8 1292 Barcode: 32891518 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bereitstellung voraussichtlich: 1 - 2 Tage nach Bestellung