Formal foundations of correct programming

Bibliographic Details
Main Author:	Novitzká, Valerie (Author)
Format:	Book
Language:	English
Published:	Košice Elfa 1999
Subjects:	programovanie > štruktúry matematické príručky

Slovenská národná knižnica

Holdings details from Slovenská národná knižnica
Call Number:	snkSC 100944 snkSC 100944 D1
Copy 17A0230265 snkSC 100944 P60, <03>, [BOOK], {603} Available for in-library use only
Copy 17A0230266 snkSC 100944 D1 P60, <04>, [BOOK], {604} On Shelf