{"title":"John C Mitchell","description":null,"products":[{"product_id":"michigan-book-john-c-mitchell-9780962146602","title":"Michigan","description":"In the aftermath of the war in Bosnia and Herzegovina, the Human Rights Chamber for Bosnia and Herzegovina was established under Annex 6 to the General Framework Agreement for Peace in Bosnia and Herzegovina (Dayton Peace Agreement). The Human Rights Chamber for Bosnia and Herzegovina was first constituted in March 1996. Many changes have taken place since the Chamber issued its first decision on the merits in the case: CH\/96\/01 Matanovic v. the Republika Srpska. The Chamber has deliberated, debated, and decided on a couple thousand cases involving a diverse range of alleged violations of human rights. Over the years, it has established itself into an effective and impartial judicial institution that has earned the trust and confidence of the citizens of Bosnia and Herzegovina. The current Volume 38 includes the case numbers 99-2831 to 99-3100. When this series is complete, all the cases of the Human Rights Chamber will have been included. (Series: Jurisprudence of the Human Rights Chamber for Bosnia and Herzegovina Collection - Vol. 38)","brand":"WoB","offers":[{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":49943906058513,"sku":"CIN0962146609VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":51150950531345,"sku":"GOR014187927","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":51416661262609,"sku":"CIN0962146609G","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0962146609.jpg?v=1750916240"},{"product_id":"indians-of-the-great-lakes-book-john-c-mitchell-9780962146626","title":"Indians of the Great Lakes","description":null,"brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50072897126673,"sku":"CIN0962146625G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50719989301521,"sku":"CIN0962146625VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ WELL_READ \/ SBYB","offer_id":51687551271185,"sku":"CIN0962146625A","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0962146625.jpg?v=1750884910"},{"product_id":"concepts-in-programming-languages-book-john-c-mitchell-9780521780988","title":"Concepts in Programming Languages","description":"This general textbook on programming languages is designed for undergraduate and beginning graduate students with some knowledge of basic programming. It teaches the concepts that appear in programming languages, issues that arise in their implementation, and the way that language design affects program development.","brand":"WoB","offers":[{"title":"US \/ WELL_READ \/ SBYB","offer_id":50190396031249,"sku":"CIN0521780985A","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50904540971281,"sku":"GOR003226154","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51003211710737,"sku":"NIN9780521780988","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":51694360101137,"sku":"CIN0521780985VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":51712922091793,"sku":"CIN0521780985G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52431659925777,"sku":"NLS9780521780988","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0521780985.jpg?v=1751391489"},{"product_id":"wood-boats-of-leelanau-a-photographic-journal-book-john-c-mitchell-9780979658105","title":"Wood Boats of Leelanau: A Photographic Journal","description":null,"brand":"WoB","offers":[{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50306008219921,"sku":"CIN0979658101VG","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0979658101.jpg?v=1751266619"},{"product_id":"foundations-for-programming-languages-book-john-c-mitchell-9780262133210","title":"Foundations for Programming Languages","description":"\u003cp\u003eWritten for advanced undergraduate and beginning graduate students, \u003ci\u003eFoundations for Programming Languages\u003c\/i\u003e uses a series of typed lambda calculi to study the axiomatic, operational, and denotational semantics of sequential programming languages. Later chapters are devoted to progressively more sophisticated type systems. Compared to other texts on the subject, \u003ci\u003eFoundations for Programming Languages\u003c\/i\u003e is distinguished primarily by its inclusion of material on universal algebra and algebraic data types, imperative languages and Floyd-Hoare logic, and advanced chapters on polymorphism and modules, subtyping and object-oriented concepts, and type inference. The book is mathematically oriented but includes discussion, motivation, and examples that make the material accessible to students specializing in software systems, theoretical computer science, or mathematical logic. \u003ci\u003eFoundations for Programming Languages\u003c\/i\u003e is suitable as a reference for professionals concerned with programming languages, software validation or verification, and programming, including those working with software modules or object-oriented programming.Foundations of Computing series\u003c\/p\u003e","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51264771457297,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0262133210.jpg?v=1786109071"},{"product_id":"great-lakes-great-ships-book-john-c-mitchell-9780962146619","title":"Great Lakes Great Ships","description":null,"brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51693649527057,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ GOOD \/ SBYB","offer_id":51693650575633,"sku":"CIN0962146617G","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0962146617.jpg?v=1750884909"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/author-books-by-john-c-mitchell.oembed","provider":"World of Books ","version":"1.0","type":"link"}