Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
PageMenu
-
Hauptmenü
-
Suchmenü
Einfache Suche
.
Erweiterte Suche
.
Zeitschriften-Suche
.
Suchergebnisse verfeinern
.
Neuerwerbungsliste nach Gruppen
.
Sortierreihenfolge
.
Benutzerdienste
Nutzeranmeldung
.
Mein Konto
.
Erwerbungsvorschlag
.
Fernleihe
.
Vormerkung
.
Verlängerung
.
Weitere Recherchemöglichkeiten
Datenbankinfosystem (DBIS)
.
Karlsruher virtueller Katalog (KVK)
.
Regensburger Systematik (RVK)
.
Elektronische Zeitschriften (EZB)
.
Zeitschriftendatenbank (ZDB)
.
Sitzung beenden
Katalog verlassen
.
Homepage WHZ
.
Hochschulbibliothek
.
© LIBERO v6.4.1sp240211
Page content
Sie befinden sich hier
:
ISBD/Karten-Anzeige
ISBD/Karten-Anzeige
RAK
Kowalk, Wolfgang Peter : Korrekte Software : Semantik, Spezifikation, Verifikation und Testen von Programmen / von Wolfgang Peter Kowalk Mannheim [u.a.] : BI-Wiss.-Verl. , c 1993. - 310 S. : graph. Darst. () Literaturverz. S. 299 - 302 ISBN 3-411-16001-2 SW: 209661925 Programmverifikation 209661925 Programmverifikation / 209073454 Programm / 210427914 Korrektheit / 209636378 Beweis <500024067 - ST 233 K88> ------------------------------ 00007068 Verfügbar in Hauptbibliothek Freihand ST 233 K88 -----------------------------------------------
Schnellsuche
Suche nach