%0
Book
%T
Formal development of programs and proofs
%A Dijkstra, Edsger W.
%I Addison-Wesley
%@ 0201172372
%K Programming (Electronic computers)
%K Electronic digital computers Programming
%K Computer programming
%K Congresses
%K Aufsatzsammlung
%K Programmverifikation
%D 1990
%X Literaturangaben
%C Addison-Wesley
%C Reading, Mass. [u.a.]
%U http://slubdd.de/katalog?TN_libero_mab2