Product categories
![Principles of Model Checking [Mit Press] - Baier, Christel - Good - hardcover](https://i.ebayimg.com/00/s/NTAwWDQwMg==/z/k6sAAOSwH9VgAFGx/$_57.JPG)
Preview
Principles of Model Checking [Mit Press] - Baier, Christel - Good - hardcover
$30.46$60.92
'%3e%3crect%20id='矩形_11'%20data-name='矩形%2011'%20width='24'%20height='24'%20transform='translate(533%201170)'%20opacity='0'/%3e%3cpath%20id='联合_6'%20data-name='联合%206'%20d='M-1992.464,7.919c-.113-.023-2.769-.568-3.571-.756a1,1,0,0,1-.744-1.2,1.018,1.018,0,0,1,.107-.272,1,1,0,0,1,.677-.481h0a8,8,0,0,0,4.842-7.35A8,8,0,0,0-1996-9.495v-2.138a9.992,9.992,0,0,1,6.843,9.49,9.994,9.994,0,0,1-3.873,7.9l.964.2a1,1,0,0,1,.779,1.18,1,1,0,0,1-.979.8A1,1,0,0,1-1992.464,7.919ZM-2011-1.579a10,10,0,0,1,3.872-7.905l-.962-.2a1,1,0,0,1-.779-1.181,1,1,0,0,1,1.181-.779c.113.023,2.769.567,3.57.756a1,1,0,0,1,.744,1.2.98.98,0,0,1-.107.271,1,1,0,0,1-.677.482h0A8,8,0,0,0-2009-1.579a8,8,0,0,0,4.842,7.351V7.911A9.993,9.993,0,0,1-2011-1.579Zm4.822,3.134.024-6.238h.056l6.1-3.079,6.108,3.082h.049V1.566l-6.27,3.037Zm2-1.232,3.167,1.59V-2.252l-3.151-1.492Zm5.167,1.524,3.168-1.534V-3.741l-3.168,1.5Zm-2.56-6.576,1.57.743,1.57-.743-1.57-.792Z'%20transform='translate(2545.394%201184.144)'%20fill='%23333'/%3e%3c/g%3e%3c/svg%3e)
Returns & Exchanges within 30 days
Any return for unsatisfied item(s) is available within 30 days'%3e%3crect%20id='矩形_10'%20data-name='矩形%2010'%20width='24'%20height='24'%20transform='translate(479%201170)'%20opacity='0'/%3e%3cpath%20id='联合_5'%20data-name='联合%205'%20d='M-2011,.14l1.945-.471a8.006,8.006,0,0,0,7.741,5.975,8.009,8.009,0,0,0,8-8,8.009,8.009,0,0,0-8-8,7.962,7.962,0,0,0-6.081,2.807,1,1,0,0,1-.153.184l-.022.028-.006,0a1,1,0,0,1-.889.222,1,1,0,0,1-.272-.108,1,1,0,0,1-.473-1.094c.182-.773.738-3.488.743-3.515a1,1,0,0,1,1.18-.779,1,1,0,0,1,.779,1.181c-.006.032-.055.27-.126.612q.378-.239.776-.442a9.862,9.862,0,0,1,4.543-1.093,10.011,10.011,0,0,1,10,10,10.012,10.012,0,0,1-10,10A10,10,0,0,1-2011,.14Zm10.907.688a4.809,4.809,0,0,1-.734-2.943,4.937,4.937,0,0,1,.793-3.035,2.707,2.707,0,0,1,2.291-1.037q2.826,0,2.825,3.916a5.077,5.077,0,0,1-.754,3.016,2.559,2.559,0,0,1-2.2,1.034A2.624,2.624,0,0,1-2000.093.827Zm1.534-2.992a6.521,6.521,0,0,0,.164,1.711q.163.556.518.556.7,0,.7-2.374a6.532,6.532,0,0,0-.161-1.7q-.162-.548-.521-.548Q-1998.56-4.517-1998.559-2.164Zm-7.171,3.848a4.769,4.769,0,0,1-.94-.249V-.36a3.2,3.2,0,0,0,.822.338,3.581,3.581,0,0,0,.934.124,1.51,1.51,0,0,0,.841-.2.636.636,0,0,0,.293-.562.645.645,0,0,0-.36-.58,2,2,0,0,0-1-.21h-.742V-3.131h.655a1.788,1.788,0,0,0,.958-.2.6.6,0,0,0,.31-.524.574.574,0,0,0-.234-.483,1.187,1.187,0,0,0-.717-.177,2.965,2.965,0,0,0-1.493.43V-5.8a5.087,5.087,0,0,1,1.966-.387,3.379,3.379,0,0,1,2,.521,1.678,1.678,0,0,1,.725,1.444,1.875,1.875,0,0,1-.39,1.209,1.829,1.829,0,0,1-1.093.639v.027a1.99,1.99,0,0,1,1.23.594,1.69,1.69,0,0,1,.451,1.194,2.039,2.039,0,0,1-.805,1.724,3.746,3.746,0,0,1-2.3.613A6.5,6.5,0,0,1-2005.73,1.684Z'%20transform='translate(2491.713%201184.356)'%20fill='%23333'/%3e%3c/g%3e%3c/svg%3e)
Money Back Guarantee
A full refund within one week upon receiving your return'%3e%3crect%20id='矩形_9'%20data-name='矩形%209'%20width='24'%20height='24'%20transform='translate(419%201170)'%20opacity='0'/%3e%3cpath%20id='联合_4'%20data-name='联合%204'%20d='M-2011,2.8V.8h22.907v2Zm18.243-4.252v-7.3h4.547v1.721h-2.347v1.064h2.2v1.721h-2.2v1.075h2.515v1.721Zm-5.648,0v-7.3h4.547v1.721h-2.347v1.064h2.2v1.721h-2.2v1.075h2.515v1.721Zm-3.219,0-.545-1.573a1.945,1.945,0,0,0-.409-.728.748.748,0,0,0-.547-.265h-.086v2.566h-2.2v-7.3h2.922a4.054,4.054,0,0,1,2.263.5,1.7,1.7,0,0,1,.731,1.5,1.9,1.9,0,0,1-.425,1.263,2.428,2.428,0,0,1-1.265.738v.02a1.777,1.777,0,0,1,.771.464,2.871,2.871,0,0,1,.553.952l.717,1.859Zm-1.589-4.109h.4a1.012,1.012,0,0,0,.713-.249.817.817,0,0,0,.27-.626.763.763,0,0,0-.224-.58.991.991,0,0,0-.7-.214h-.453Zm-7.735,4.109v-7.3h4.577v1.721h-2.378v1.313h2.169v1.721h-2.169v2.546ZM-2011-11v-2h22.907v2Z'%20transform='translate(2430.898%201186.784)'%20fill='%23333'%20stroke='rgba(0,0,0,0)'%20stroke-miterlimit='10'%20stroke-width='1'/%3e%3c/g%3e%3c/svg%3e)
Free Shipping
Enjoy free shipping on all orders $50Description
Information
Recommended Products
A Navy Seals BUG IN GUIDE
$39.00$19.50
TRUSTED STORE
CERTIFIED SECURE