{"title":"Patrick Cousot","description":null,"products":[{"product_id":"principles-of-abstract-interpretation-book-patrick-cousot-9780262044905","title":"Principles of Abstract Interpretation","description":"Prostate cancer is the most common cancer in men in the UK and US and the second most common worldwide. \u003cp\u003eThe \u003ci\u003eABC of Prostate Cancer\u003c\/i\u003e provides fully illustrated guidance on the treatment and management of prostate cancer. It covers the biology, anatomy, and pathology of prostate cancer, screening, and active surveillance and monitoring. It presents an assessment of treatment options including prostatectomy, bracytherapy, chemotherapy and immunotherapy, along with modern diagnostic tests and an overview of new approaches to prostate cancer.\u003c\/p\u003e \u003cp\u003eWith an international author team, the \u003ci\u003eABC of Prostate Cancer\u003c\/i\u003e is ideal for general practitioners, family physicians, specialist nurses, junior doctors, medical students and others working with prostate cancer patients and their families.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49737978347793,"sku":"NGR9780262044905","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50883793551633,"sku":"GOR014104157","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0262044900.jpg?v=1751420628"},{"product_id":"static-analysis-book-patrick-cousot-9783540572640","title":"Static Analysis","description":"This volume constitutes the proceedings of the third International Workshop on Static Analysis (WSA93), held in Padova, Italy, in September 1993. The objective of the international workshop series WSA is to serve as a forum for the discussion of the various aspects of static analysis in different programming paradigms. The clearly increasing mumbers of submitted papers and workshop participants point out the growing importance of static analysis techniques for logical, functional, concurrent and parallel languages as well as for parallel term rewriting systems. This proceedings contains, besides the abstracts or full papers of the invited talks given by Pascal Van Hentenryck, Peter van Roy, and Paul Hudak, full versions of the 20 contributed papers selected from a total of 68 submissions by an international program committee consisting of many renown researchers in the field. The volume is organized in sections on fixpoint computation, concurrency, parallelism, transformation, logic programs, term rewriting systems, strictness, reasoning about programs, and types.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52148193034513,"sku":"NLS9783540572640","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540572640.jpg?v=1757602878"},{"product_id":"static-analysis-book-patrick-cousot-9783540423140","title":"Static Analysis","description":"Staticanalysisisaresearchareaaimedatdevelopingprinciplesandtoolsforv- i cation and semantics-based manipulation of programs and high-performance implementation of programming languages. The series of Static Analysis S- posia is a forum for the presentation and discussion of advances in the area. This volume contains the papers presentedat the EighthInternationalStatic Analysis Symposium (SAS 2001), which was held July 16{18, 2001 at the S- bonne in Paris, France. Previous SAS symposia were held in Santa Barbara,CA, USA (LNCS 1824), Venice, Italy (LNCS 1694), Pisa, Italy (LNCS 1503), Paris, France (LNCS 1302), Aachen, Germany (LNCS 1145), Glasgow, UK(LNCS983),Namur,Belgium(LNCS864),followingtheinternationalwo- shop WSA in Padova, Italy (LNCS 724), Bordeaux, France (Bigre Vol. 81-82) and JTASPEFL\/WSA, Bordeaux, France (Bigre Vol. 74). The program committee meeting was held at the Ecole Normale Sup erieure in Paris on March 31, 2001, and 21 papers were selected from 62 submissions. In addition to the contributed papers, this volume includes invited papers by RustanLeinoandMartinRinard.Thisvolumealsocontainstheabstractsofan invitedtalkbyFredSchneider and of the presentations by Bruno Blanchet, Andrew Gordon, Andrew Myers,andDavid Wagner at an invited session on security. May 2001 Patrick Cousot VI Preface ProgramCommittee Patrick Cousot (Chair) Ecole Normale Sup erieure, Paris, France Maurice Bruynooghe Katholieke Universiteit Leuven, Belgium","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52354743370001,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52354743795985,"sku":"NLS9783540423140","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540423140.jpg?v=1758184172"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-patrick-cousot.oembed","provider":"World of Books ","version":"1.0","type":"link"}