%0 Book
%T Fehlerfreie Programmierung für den Software-Zauberlehrling
%A Baber, Robert Laurence
%I Oldenbourg
%@ 3486216376
%K Computer programs Verification
%K Programmverifikation
%K Programmierung
%K Bug Informatik
%K Programm
%K Korrektheit
%K Beweis
%D 1990
%X Literaturverz. S. 157 - 158
%C Oldenbourg
%C München
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation