{"title":"Automatic Theorem Proving","description":null,"products":[{"product_id":"automated-technology-for-verification-and-analysis-springer-nature-switzerland-ag-9783030591519-18th-international-symposium-atva-2020-hanoi-vietnam-october-19-23-2020-proceedings-dang-van-hung","title":"Automated Technology for Verification and Analysis","description":"\u003cp\u003e\u003cstrong\u003eAutomated Technology for Verification and Analysis\u003c\/strong\u003e by Dang Van Hung, Mizuhito Ogawa.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer International Publishing AG, (2020), Paperback, 574 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Automatic theorem proving, Software engineering, Computer science, Computer Communication Networks.\u003c\/p\u003e","brand":"Dang Van Hung","offers":[{"title":"Default Title","offer_id":52279707926870,"sku":"9783030591519","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030591519.jpg?v=1767824087"}],"url":"https:\/\/www.englishbook.pl\/collections\/automatic-theorem-proving.oembed","provider":"Bookshop","version":"1.0","type":"link"}