'%20fill='%2325272a'%20stroke='%2325272a'%20stroke-width='0.4'/%3e%3c/clipPath%3e%3c/defs%3e%3cg%20id='Group_626'%20data-name='Group%20626'%20transform='translate(0.279%200.343)'%3e%3cg%20id='Ellipse_3'%20data-name='Ellipse%203'%20transform='translate(-0.279%20-0.343)'%20fill='none'%20stroke='%23f2f2f2'%20stroke-width='1'%3e%3ccircle%20cx='29.5'%20cy='29.5'%20r='29.5'%20stroke='none'/%3e%3ccircle%20cx='29.5'%20cy='29.5'%20r='29'%20fill='none'/%3e%3c/g%3e%3cg%20id='Group_440'%20data-name='Group%20440'%20transform='translate(14.571%2015.937)'%3e%3cg%20id='Group_439'%20data-name='Group%20439'%20transform='translate(0%200)'%20clip-path='url(%23clip-path)'%3e%3cpath%20id='Path_161'%20data-name='Path%20161'%20d='M12.072,22.017,2.137,12.082l0,0-.087-.087a7.027,7.027,0,0,1,9.938-9.938l.083.083.083-.083A7.027,7.027,0,0,1,22.1,11.992Zm-8.8-9.941,8.8,8.8,9.456-9.456a6.223,6.223,0,1,0-8.8-8.8l-.652.652-.652-.652a6.223,6.223,0,0,0-8.8,8.8l.649.649Z'%20transform='translate(2.765%202.765)'%20fill='%2325272a'%20stroke='%2325272a'%20stroke-width='0.4'/%3e%3c/g%3e%3c/g%3e%3c/g%3e%3c/svg%3e)
'%3e%3cg%20id='Group_627'%20data-name='Group%20627'%20transform='translate(652.444%20-620)'%3e%3crect%20id='Rectangle_402'%20data-name='Rectangle%20402'%20width='76'%20height='61'%20rx='30.5'%20transform='translate(997%20766)'%20fill='%23feffff'%20stroke='%23f2f2f2'%20stroke-width='1'/%3e%3cpath%20id='Path_208'%20data-name='Path%20208'%20d='M1506.38,173.694a.639.639,0,0,1-.45-.184.641.641,0,0,1,0-.891.639.639,0,0,1,.45-.184h3.4a.648.648,0,0,1,.39.13.593.593,0,0,1,.22.337l3.05,11.419a.8.8,0,0,0,.28.419.8.8,0,0,0,.48.162h12.5a.64.64,0,0,1,.45.185.64.64,0,0,1,0,.89.64.64,0,0,1-.45.185h-12.5a2.074,2.074,0,0,1-1.25-.423,2.03,2.03,0,0,1-.72-1.093l-2.93-10.952Zm6.36,1.238a.438.438,0,0,0-.18.042.5.5,0,0,0-.14.117.506.506,0,0,0-.08.167.382.382,0,0,0,.01.184l2.12,7.922a.389.389,0,0,0,.14.217.413.413,0,0,0,.25.083h11.01a.413.413,0,0,0,.25-.083.469.469,0,0,0,.15-.217l2.11-7.922a.382.382,0,0,0,.01-.184.366.366,0,0,0-.08-.167.5.5,0,0,0-.14-.117.438.438,0,0,0-.18-.042Zm12.96,13.856a1.639,1.639,0,0,0-2.8-1.164,1.657,1.657,0,0,0-.36,1.794,1.7,1.7,0,0,0,.61.739,1.632,1.632,0,0,0,1.54.152,1.6,1.6,0,0,0,.53-.356,1.513,1.513,0,0,0,.36-.535A1.687,1.687,0,0,0,1525.7,188.788Zm-8.09,0a1.649,1.649,0,0,0-1.97-1.614,1.645,1.645,0,0,0-1.29,1.293,1.714,1.714,0,0,0,.09.951,1.7,1.7,0,0,0,.61.739,1.632,1.632,0,0,0,1.54.152,1.748,1.748,0,0,0,.54-.356,1.631,1.631,0,0,0,.35-.535A1.521,1.521,0,0,0,1517.61,188.788Z'%20transform='translate(-487%20620)'%20fill='%2324272a'/%3e%3c/g%3e%3c/g%3e%3c/svg%3e)
Atsushi Togashi
Formal Description Techniques and Protocol Specification Testing and Verification by Atsushi Togashi, Hardcover | Indigo Chapters
From Indigo
Current price: $285.95
One moment, we’re checking the availability for this product
Atsushi Togashi
Formal Description Techniques and Protocol Specification Testing and Verification by Atsushi Togashi, Hardcover | Indigo Chapters
From Indigo
Current price: $285.95
One moment, we’re checking the availability for this product
Size: 1.25 x 9.21 x 2.17
* Product availability, descriptions and images provided by Indigo. Contact Indigo to confirm product details. Prices shown are only available through StyList. Prices may be higher or lower in store or on Indigo's website. Indigo is not required to honour the StyList price if you choose to shop directly with Indigo. Product availability is not guaranteed. Please see Terms of Use.
