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