{"title":"Rift In Time Ser","description":null,"products":[{"product_id":"hidden-in-time-book-michael-phillips-9780842355018","title":"Hidden in Time","description":"Development of formal proofs of correctness of programs can increase actual and perceived reliability and facilitate better understanding of program specifications and their underlying assumptions. Tools supporting such development have been available for over 40 years but have only recently seen wide practical use. Projects based on construction of machine-checked formal proofs are now reaching an unprecedented scale, comparable to large software projects, which leads to new challenges in proof development and maintenance. Despite its increasing importance, the field of proof engineering is seldom considered in its own right; related theories, techniques, and tools span many fields and venues. QED at Large covers the timeline and research literature concerning proof development for program verification, including theories, languages, and tools. It emphasizes challenges and breakthroughs at each stage in history and highlights challenges that are currently present due to the increasing scale of proof developments. This monograph is intended for use by researchers and students who are new to the field. It provides the reader with an insightful overview of the work that has led to modern-day techniques for formally verifying software. In times of increasing automation, this underpins many software systems so future trends are also highlighted.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49524061012241,"sku":"GOR006269369","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ GOOD \/ SBYB","offer_id":49928741388561,"sku":"CIN0842355014G","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ WELL_READ \/ SBYB","offer_id":50364844638481,"sku":"CIN0842355014A","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50962547147025,"sku":"CIN0842355014VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ GOOD \/ INTERNAL","offer_id":53148195979537,"sku":"GOR003583228","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0842355014.jpg?v=1751233180"},{"product_id":"rift-in-time-book-m-phillips-9780842355001","title":"Rift in Time","description":"\u003cp\u003eDespite the catch-cry bandied about after the Holocaust, Never Again, genocides continue to destroy cultures and communities around the globe.\u003c\/p\u003e\u003cp\u003eIn this collection of essays, Australian scholars discuss the crime of genocide, examining regimes and episodes that stretch across time and geography. Included are discussions on Australia's own history of genocide against its Indigenous peoples, mass killing and human rights abuses in Indonesia and North Korea, and new insights into some of the core twentieth century genocides, such as the Holocaust and the Armenian Genocide.\u003c\/p\u003e\u003cp\u003eScholars grapple with ongoing questions of memory and justice, governmental responsibility, the role of the medical professions, gendered experiences, artistic representation, and best practice in genocide education. Importantly, genocide prevention and the role of the global community is also explored within this collection.\u003c\/p\u003e\u003cp\u003eThis volume of Genocide Perspectives is dedicated to Professor Colin Tatz AO, an inspirational figure in the field of human rights, and one of the forefathers of genocide studies in Australia.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49533415194897,"sku":"GOR008824270","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ GOOD \/ SBYB","offer_id":50008234623249,"sku":"CIN0842355006G","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ WELL_READ \/ SBYB","offer_id":51416518131985,"sku":"CIN0842355006A","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":51424394051857,"sku":"CIN0842355006VG","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ GOOD \/ INTERNAL","offer_id":53163442962705,"sku":"GOR001851161","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0842355006.jpg?v=1751011819"}],"url":"https:\/\/www.worldofbooks.com\/collections\/rift-in-time-ser-book-series.oembed","provider":"World of Books ","version":"1.0","type":"link"}