Decision procedures an algorithmic point of view /

• 作者：by Daniel Kroening, Ofer Strichman.
• 出版者：Springer Berlin Heidelberg : Imprint: Springer
• 出版地：Berlin, Heidelberg :
• 語文：英語
• 叢書名：Texts in theoretical computer science. an EATCS series,
• 電子資源：http://dx.doi.org/10.1007/978-3-662-50497-0
• ISBN/ISSN/ISRC：9783662504970 ; 9783662504963
• 作者：Kroening, Daniel.;Strichman, Ofer.
• 索書號：519.542