20건
Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled, 1999 / 판 5개
Christel Baier, 2008 / 판 5개
Mingsheng Ying, Yuan Feng, 2021 / 판 3개
Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, 2017 / 판 3개
Javier Esparza, 2008 / 판 4개
Kenneth L. McMillan, 1993 / 판 2개
David Farago, 2016 / 판 3개
Ezio Bartocci, C. R. Ramakrishnan, 2013 / 판 3개
Andreas Hubert Moglestue, 2004
Kenneth L. McMillan, 1993
Michael Weber,Jaco Van Der Pol, 2011
Chao Wang, Gary D. Hachtel, Fabio Somenzi, 2006 / 판 2개
Matthew Dwyer, 2001 / 판 2개
Corina S. Pasareanu, 2009 / 판 2개
Orna Grumberg, Daniel Kroening, Doron Peled, 2018
Anne Remke, Mariëlle Stoelinga, 2014 / 판 2개
Orna Grumberg, Helmut Veith, 2008
Bernd Fischer, Jaco Geldenhuys, 2015 / 판 2개
Dragan Bosnacki, Stefan Leue, 2003 / 판 2개
Patrick Godefroid, 2005 / 판 3개
제목이나 표지 사진만 주셔도 찾아 드립니다. 여러 권이면 기업 기관 구매에서 목록째 넣으실 수 있습니다.
