{"product_id":"tests-and-proofs-springer-nature-switzerland-ag-9783030311568-13th-international-conference-tap-2019-held-as-part-of-the-third-world-congress-on-formal-methods-2019-porto-portugal-october-9-11-2019-proceedings-dirk-beyer","title":"Tests and Proofs","description":"\u003cp\u003eDiscover the cutting-edge research presented in \u003cstrong\u003eTests and Proofs\u003c\/strong\u003e, authored by Dirk Beyer and published by Springer Nature Switzerland AG in 2019. This comprehensive volume features the refereed proceedings of the 13th International Conference on Tests and Proofs (TAP 2019), which took place during the Third World Congress on Formal Methods in Porto, Portugal, in October 2019.\u003c\/p\u003e \n\n\u003cp\u003eWith a total of 207 pages, this edition showcases 10 regular papers and 2 invited papers, all rigorously reviewed and selected from a competitive pool of 19 submissions. Ideal for researchers and professionals in the field, this book delves into the latest advancements in formal methods, testing, and proofs, making it an essential addition to your academic library.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your understanding of this evolving field with the insights and findings presented in \u003cstrong\u003eTests and Proofs\u003c\/strong\u003e.\u003c\/p\u003e","brand":"Dirk Beyer","offers":[{"title":"Default Title","offer_id":52226903802198,"sku":"9783030311568","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030311568.jpg?v=1767740830","url":"https:\/\/www.englishbook.pt\/products\/tests-and-proofs-springer-nature-switzerland-ag-9783030311568-13th-international-conference-tap-2019-held-as-part-of-the-third-world-congress-on-formal-methods-2019-porto-portugal-october-9-11-2019-proceedings-dirk-beyer","provider":"Bookshop","version":"1.0","type":"link"}