Bradley, A. R., & Manna, Z. (2007). The Calculus of Computation: Decision Procedures with Applications to Verification. Springer Verlag.
Kopírovanie bolo úspešné
Kopírovanie sa nepodarilo
Citácia podle Chicago (17th ed.)
Bradley, Aaron R., a Zohar Manna. The Calculus of Computation: Decision Procedures with Applications to Verification. Berlin: Springer Verlag, 2007.
Kopírovanie bolo úspešné
Kopírovanie sa nepodarilo
Citácia podľa MLA (8th ed.)
Bradley, Aaron R., a Zohar Manna. The Calculus of Computation: Decision Procedures with Applications to Verification. Springer Verlag, 2007.
Kopírovanie bolo úspešné
Kopírovanie sa nepodarilo
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..