QED at Large
A Survey of Engineering of Formally Verified Software
(Author) Talia Ringer
Format:
Paperback
£93.00
Price: £68.44
(26% off)
Generally dispatched in 1 to 2 days
Information
Publisher:
now publishers Inc
Format:
Paperback
Number of pages:
None
Language:
en
ISBN:
9781680835946
Publish year:
2019
Publish date:
Sept. 3, 2019