Verified software: theories, tools and experiments 7th international conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers Arie Gurfinkel, Sanjit A. Seshia (eds.)
Materialtyp:
TextSprache: Englisch Reihen: ; 959300 | Lecture notes in computer science ; 9593Verlag: Cham Heidelberg New York Springer [2016]Beschreibung: VIII, 222 Seiten IllustrationenInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 9783319296128
- SS 4800
- *68-06
- 68Nxx
- 00B25
- 54.52
- 54.51
| Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | |
|---|---|---|---|---|---|---|---|---|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Series (GF) | LNCS 9593 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000373748 |
Co-located with the 27th International Conference on Computer-Aided Verification
Literaturangaben