Výsledky vyhľadávania

Nájdených záznamov: 1  
Vaša požiadavka: Autor-kód záznamu = "^umb_un_auth 0020252^"
  1. NázovFormal Development of Programs and Proofs
    Aut.údajeEdger W. Dijkstra
    Autor Dijkstra Edger W.
    Vyd.údajeReading : Addison-Wesley , 1990. - 242 s.
    Vydanie[1st ed.]
    ISBN0-201-17237-2
    Kľúč.slová programovanie - programming   matematické dôkazy - mathematical proofs   binárne stromové modely   Möbiova postupnosť  
    Jazyk dok.angličtina
    KrajinaSpojené štáty
    Systematika 681.3.06=20
    Katal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Báza dátxkni - KNIHY
    Počet ex.1, z toho voľných 0, prezenčne 1
    SignatúraLokáciaDislokáciaUmiestnenieInfo
    210212Univerzita Mateja BelaFP Katedra matematikylen prezenčne


  Tieto stránky využívajú súbory cookies, ktoré uľahčujú ich prezeranie. Ďalšie informácie o tom ako používame cookies.