{"title":"M Ben-Ari","description":"\u003cp\u003eDelve into the world of M. Ben-Ari, where computer science comes to life. Perfect for students and professionals alike, explore clear, insightful guides that make complex topics accessible. Start your learning journey here.\u003c\/p\u003e","products":[{"product_id":"mathematical-logic-for-computer-science-book-m-ben-ari-9780135641392","title":"Mathematical Logic for Computer Science","description":"Designed to provide a firm foundation in mathematical logic, this book provides an elementary yet rigorous textbook for both graduate study and for applications of logic, such as logic programming and formal specification and verification. The text supplies the mathematics often treated sketchily in introductory computer science books, while using the simplest techniques rather than the most general used in mathematical books.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49565651009809,"sku":"GOR006609797","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/013564139X.jpg?v=1751258044"},{"product_id":"principles-of-concurrent-and-distributed-programming-book-m-ben-ari-9780137118212","title":"Principles of Concurrent and Distributed Programming","description":"\u003cp\u003eFinal Cover Copy - Ben-Ari\u003c\/p\u003e \u003cp\u003e \u003c\/p\u003e \u003cp\u003ePrinciples of Concurrent and\u003c\/p\u003e \u003cp\u003eDistributed Programming\u003c\/p\u003e \u003cp\u003e2nd Edition\u003c\/p\u003e \u003cp\u003e \u003c\/p\u003e \u003cp\u003eM. Ben-Ari\u003c\/p\u003e \u003cp\u003e \u003c\/p\u003e \u003cp\u003eThe latest edition of a classic text from a winner of the ACM\/SIGCSE\u003c\/p\u003e \u003cp\u003eAward for Outstanding Contribution to Computer Science Education.\u003c\/p\u003e \u003cp\u003e \u003c\/p\u003e \u003cp\u003eSoftware today is inherently concurrent or distributed - from event-based GUI designs to operating and real-time systems to Internet applications. The new edition of this classic introduction to concurrency has been completely revised in view of the growing importance of concurrency\u003c\/p\u003e \u003cp\u003econstructs embedded in programming languages and of formal methods\u003c\/p\u003e \u003cp\u003esuch as model checking that are widely used in industry.\u003c\/p\u003e \u003cp\u003e \u003c\/p\u003e \u003cp\u003eThe 2\u003csup\u003end\u003c\/sup\u003e edition: \u003c\/p\u003e \u003cp\u003e \u003c\/p\u003e \u003cp\u003eØ Focuses on algorithmic \u003ci\u003eprinciples \u003c\/i\u003erather than language syntax;\u003c\/p\u003e \u003cp\u003eØ Emphasizes the use of the Spin model checker for modeling concurrent systems and verifying program correctness;\u003c\/p\u003e \u003cp\u003eØ Explains the implementation of concurrency in the Java and Ada languages.\u003c\/p\u003e \u003cp\u003eØ Facilitates lab work with software tools for learning concurrent and distributed programming.\u003c\/p\u003e \u003cp\u003e \u003c\/p\u003e \u003cp\u003eCheck out the companion website for the book at www.pearson.co.uk\/ben-ari to find additional resources for both students and instructors, including source code in various languages for the programs in the book, answers to the exercises, and slides for all diagrams, algorithms and programs.\u003c\/p\u003e \u003cp\u003e \u003c\/p\u003e \u003cp\u003eAbout the Author\u003c\/p\u003e \u003cp\u003e \u003c\/p\u003e \u003cp\u003eMordechai (Moti) Ben-Ari is an Associate Professor in the Department of Science Teaching at the Weizmann Institute of Science in Rehovot, Israel. He is the author of texts on Ada, concurrent programming, programming languages, and mathematical logic, as well as \u003ci\u003eJust a Theory: Exploring the Nature of Science\u003c\/i\u003e. In 2004 he was honored with the ACM\/SIGCSE Award for Outstanding Contribution to Computer Science Education.\u003c\/p\u003e \u003cp\u003e \u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49680808640785,"sku":"GOR001982420","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ GOOD \/ INTERNAL","offer_id":50376634499345,"sku":"GOR001714274","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50714471596305,"sku":"CIN013711821XVG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ LIKE_NEW \/ INTERNAL","offer_id":50831600025873,"sku":"GOR012237659","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ WELL_READ \/ INTERNAL","offer_id":53509616402705,"sku":"GOR002855357","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/013711821X.jpg?v=1750811288"},{"product_id":"principles-of-concurrent-and-distributed-programming-book-m-ben-ari-9780321312839","title":"Principles of Concurrent and Distributed Programming","description":"The latest edition of a classic text on concurrency and distributed programming – from a winner of the ACM\/SIGCSE Award for Outstanding Contribution to Computer Science Education.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49727914737937,"sku":"NGR9780321312839","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":51575701307665,"sku":"CIN032131283XVG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":51844907565329,"sku":"GOR004881979","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ GOOD \/ SBYB","offer_id":52816377643281,"sku":"CIN032131283XG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ GOOD \/ INTERNAL","offer_id":53480285667601,"sku":"GOR013160298","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/032131283X.jpg?v=1779963084"},{"product_id":"understanding-programming-languages-book-m-ben-ari-9780471958468","title":"Understanding Programming Languages","description":"The choice of a specific programming language is one of the most important factors that influence the ultimate adoption of a software system. This volume explains what languages are available, how language constructs are implemented, and the role of language in expressing abstractions.","brand":"WoB","offers":[{"title":"US \/ WELL_READ \/ SBYB","offer_id":50098329846033,"sku":"CIN0471958468A","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":53508329996561,"sku":"GOR003091439","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0471958468.gif?v=1751359471"},{"product_id":"ada-for-software-engineers-book-m-ben-ari-9780471979128","title":"Ada for Software Engineers","description":"This volume is aimed at experienced programmers and advanced engineering students, who recognize that Ada is becoming the language of choice for high-integrity software systems. It uses case studies to teach readers how Ada is applied in practice.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51833760874769,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":51833760907537,"sku":"GOR003721050","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780471979128.jpg?v=1753013028"},{"product_id":"mathematical-logic-for-computer-science-book-m-ben-ari-9781852333195","title":"Mathematical Logic for Computer Science","description":"This is a mathematics textbook with theorems and proofs. The choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. In order to provide a balanced treatment of logic, tableaux are related to deductive proof systems. The book presents various logical systems and contains exercises. Still further, Prolog source code is available on an accompanying Web site. The author is an Associate Professor at the Department of Science Teaching, Weizmann Institute of Science.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52800128483601,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ GOOD \/ SBYB","offer_id":52800130220305,"sku":"CIN1852333197G","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781852333195.jpg?v=1764168426"}],"url":"https:\/\/www.worldofbooks.com\/en-au\/collections\/author-books-by-m-ben-ari.oembed","provider":"World of Books ","version":"1.0","type":"link"}