Blog
Všetko o nákupe
Kontakt
Hľadajte knihu, autora alebo kategóriu...
Predaj kníh
Tipy na darčeky
Komu chcete darovať knihu?
Darčeky pre najmenších
Darčeky pre mladších školákov
Darčeky pre starších školákov
Darčeky pre mamu
Darčeky pre otca
Darčeky pre babičku
Darčeky pre dedka
Dajte na naše rady!
BookTok
Dánovky
Evitovky
Súčasná slovenská próza
Reportážna literatúra
Anasoft Litera
Sfilmované knihy
Beletria
Beletria
Slovenská beletria
Česká beletria
Svetová beletria
Sci-fi a fantasy
Detektívky a thrillery
Romantika
Historická beletria
Komiksy
Náučná a odborná
Naučná a odborná
Encyklopédie
Dejiny a história
Hobby a domov
Motivácia a sebarozvoj
Psychológia
Šport
Umenie a kultúra
Životopisy a myšlienky
Pre deti a mládež
Pre tých najmenších
Rozprávky
Leporelo
Kontrastné leporelá
Pre mladších čitateľov
Všetky knihy pre mladších čitateľov
Prvé čítanie
Mladší školáci
Rozprávky
Detské encyklopédie
Vystrihovačky
Pre starších čitateľov
Všetky knihy pre starších čitateľov
Starší školáci
Herné knihy
Rozprávky
Detské encyklopédie
Mládež
Všetky knihy pre mládež
Young adult
Horory pre mládež
Ďalšie kategórie
Ďalšie kategórie
Kuchárky
Učebnice
Mapy a cestovanie
Ezoterika a náboženstvo
Podľa jazyka
Podľa jazyka
Knihy v angličtine
Knihy v slovenčine
Knihy v češtine
Knihy v nemčine
Knihy vo francúzštine
Knihy v maďarčine
Knihy v španielčine
Knihy v taliančine
Knihy v poľštine
Knihy v ruštine
knihobot.sk
/
Všetky knihy
/
Počítače, IT, programovanie
/
HOL-Z, an integrated formal support environment for Z in Isabelle/HOL
Kniha momentálne nie je na sklade
HOL-Z, an integrated formal support environment for Z in Isabelle/HOL
Autori
Kolyang Dina Taiwe
Parametre
ISBN
9783826540684
Vydavateľstvo
Shaker
Kategórie
Počítače, IT, programovanie
BISS monographs
Navrhnúť zmenu
Variant knihy
1999
Nákup knihy
Kniha momentálne nie je na sklade.
Strážiť dostupnosť knihy
19991999
19991999