Search results

Records found: 1  
Your query: Author Sysno = "^unknown mzk2008434192^"
  1. Verification of programs with complex data structures : dissertation thesis / Adam Rogalewicz .  Brno :  Faculty of Information Technology, Brno University of Technology,  2007 .  ix, 134 s.  
    Verification of programs with complex data structures


  This site uses cookies to make them easier to browse. Learn more about how we use cookies.