Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: cod="ra"



Treffer 2962 von 3739 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/980336694
Art des Inhalts Hochschulschrift
Titel Specification and verification of object oriented software components / by Andreas Roth
Person(en) Roth, Andreas (Verfasser)
Verlag Karlsruhe : Univ.-Verl. Karlsruhe
Zeitliche Einordnung Erscheinungsdatum: 2006
Umfang/Format Online-Ressource (PDF, ca. 2,4 MB)
Andere Ausgabe(n) Erscheint auch als Druck-Ausgabe: Roth, Andreas: Specification and verification of object oriented software components
Hochschulschrift Zugl.: Karlsruhe, Univ., Diss., 2006
Persistent Identifier URN: urn:nbn:de:0072-45428
URL http://www.uvka.de/univerlag/volltexte/2006/130/ (Verlag) (kostenfrei zugänglich)
ISBN/Einband/Preis 978-3-86644-042-5 (kostenfrei)
3-86644-042-1 (kostenfrei)
Sprache(n) Englisch (eng)
Schlagwörter Komponente <Software> ; Objektorientierte Programmiersprache ; Korrektheit ; Formale Spezifikationstechnik ; Programmverifikation ; Online-Publikation
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 2962 von 3739
< < > <


E-Mail-IconAdministration