Efficient solving of large arithmetic constraint systems with complex Boolean structure proof engines for the analysis of hybrid discrete-continuous systems /

• 作者：by Christian Herde.
• 出版者：Vieweg+Teubner Verlag / Springer Fachmedien Wiesbaden GmbH, Wiesbaden
• 出版地：Wiesbaden :
• 語文：英語
• 電子資源：http://dx.doi.org/10.1007/978-3-8348-9949-1
• ISBN/ISSN/ISRC：9783834899491 (electronic bk.) ; 9783834814944 (paper)
• 作者：Herde, Christian.
• 索書號：004.015113