EVA STAR Trefferanzeige
| Volltextanzeige |
 1.pdf (9,4 MB)
|
|
| Titel | Formal Verification of Object-Oriented Software. Papers presented at the International Conference, June 28-30, 2010, Paris, France | |
| Autor | Beckert, Bernhard Marché, Claude [Hrsg.] |
|
| Institution | Fakultät für Informatik (Fak. f. Informatik) Institut für Theoretische Informatik (ITI) |
|
| Dokumenttyp | Buch | |
| Verlag | Karlsruhe | |
| Jahr | 2010 | |
| Serie | Karlsruhe Reports in Informatics (früher: Interner Bericht. Fakultät für Informatik, Karlsruher Institut für Technologie) ; 2010,13 ISSN: 2190-4782 |
|
| URL für Zitat | http://digbib.ubka.uni-karlsruhe.de/volltexte/1000019083 | |
| URN für Zitat | urn:nbn:de:swb:90-190832 | |