Schumann, Johann M., 1960- Automated theorem proving in software engeneering / Johann M. Schumann ; foreword by Donald Loveland. -- Berlin ; Heidelberg : Springer, 2001. -- xv, 228 s. -- Obsahuje literaturu a rejstřík. -- ISBN : 3540679898. softwarové inženýrství. software 004.41. 004.42
Citace
Počet záznamů: 1
Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom
jak používáme cookies.