{"title":"Cornerstones Of Computing","description":"\u003cp\u003eDelve into the foundations of modern technology with the Cornerstones of Computing series. Explore pivotal works that shaped our digital world, essential reading for anyone interested in computer science history.\u003c\/p\u003e","products":[{"product_id":"operating-systems-with-linux-book-john-o-gorman-9780333947456","title":"Operating Systems with Linux","description":"Operating Systems is aimed at students at undergraduate and postgraduate levels, particularly those taking a module in a specialist computer systems or computer science course.  It takes a new approach to operating systems, integrating three fundamental elements into one convenient and comprehensive text:  · It presents the basic theory of operating system design and implementation in depth · It uses Linux as a running example throughout the text to expose students to the internals of operating systems · It gives a practical introduction to systems programming using the POSIX interface  Currently, such material has usually to be drawn from a variety of textbooks so Operating Systems provides a valuable resource for student and lecturer alike.  The book aims to give the student a thorough knowledge of how operating systems work, and how they are implemented in practice.  It develops a robust understanding of the concepts and building blocks which, although grounded in Linux, provide experience which will be transferable to other systems that the student will meet.  Each chapter has a set of discussion questions and suggested reading to further stimulate thought. Whilst primarily written for the academic student, the material will also be of interest to users of Linux in the professional field who wish to increase their knowledge.  John O'Gorman is a Lecturer in the Department of Computer Science and Information Systems at the University of Limerick. He has previously published a textbook on operating systems within the Palgrave Grassroots series.  The Cornerstones of Computing series is dedicated to providing readers with rigorous and challenging texts that cover the breadth of computing science. The books published in this auspicious series are written by leading experts, reviewed by their peers, and offer a quality of text unsurpassed in today's market.  Series Editors · Professor Richard Bird is Director of the Computing Laboratory and head of the Programming Research Group at Oxford University. He is also the author of several successful books, including the best-selling \"Introduction to Functional Programming\" ( Prentice Hall )  · Professor Tony Hoare was formerly at Oxford and is now working at the Microsoft European Research HQ in Cambridge. He is the author of several textbooks, including \"Communicating Sequential Processes\" ( Prentice Hall )","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49531736850705,"sku":"GOR002729719","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ GOOD \/ INTERNAL","offer_id":49641161490705,"sku":"GOR003000848","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52473731809553,"sku":"NLS9780333947456","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0333947452.jpg?v=1759232538"},{"product_id":"b-method-book-steve-schneider-9780333792841","title":"The B-Method","description":"This book provides a textbook introduction to the B-Method, a rigorous methodology for the development of correct software. The text covers all stages of the B software development process - from specification, through refinement and design, down to implementation and automatic code generation. The method uses a single uniform notation throughout development, designed to enable verification at each stage whilst placing particular emphasis on correctness.  · Suitable for undergraduate and postgraduate courses on formal methods and software development · Written in a clear tutorial style of explanation  · Contains numerous illustrative examples, exercises and self-testing questions with solutions throughout · Relevant to users of any B-Method CASE tool · Teaching materials available online  The B-Method : An Introduction also offers readers powerful tool support by providing a free licence for the B-Toolkit - an integrated toolset which supports and extends the entire B development lifecycle.","brand":"WoB","offers":[{"title":"GB \/ LIKE_NEW \/ INTERNAL","offer_id":49543757824273,"sku":"GOR013322544","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ GOOD \/ INTERNAL","offer_id":49562191200529,"sku":"GOR002945039","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49582368915729,"sku":"GOR002416707","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/033379284X.jpg?v=1751455139"},{"product_id":"fun-of-programming-book-jeremy-gibbons-9780333992852","title":"The Fun of Programming","description":"What will be the next revolution in software technology to follow XML and generics?  Whatever it may be, it is likely to come from functional programming, where many of the key ideas of the last decade originated.  In this textbook, the leading researchers of the field take you on a tour of the current hot topics in functional programming, with applications ranging from financial contracts to circuit design.  There are also chapters on new idioms for structuring programs, such as monads and arrows.  All new concepts are illustrated with many examples, and exercises appear throughout to further enliven the material.  Several of the chapters describe a substantial piece of software, and most of these programs are collected on a website for free downloading.  This book was edited in honour of Richard S.Bird, Professor of Computer Science at the University of Oxford, on his 60th birthday.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":50541532315921,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50541532446993,"sku":"GOR003814939","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52476852732177,"sku":"NLS9780333992852","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0333992857.jpg?v=1759231501"},{"product_id":"fun-of-programming-book-jeremy-gibbons-9781403907721","title":"The Fun of Programming","description":"What will be the next revolution in software technology to follow XML and generics?  Whatever it may be, it is likely to come from functional programming, where many of the key ideas of the last decade originated.  In this textbook, the leading researchers of the field take you on a tour of the current hot topics in functional programming, with applications ranging from financial contracts to circuit design.  There are also chapters on new idioms for structuring programs, such as monads and arrows.  All new concepts are illustrated with many examples, and exercises appear throughout to further enliven the material.  Several of the chapters describe a substantial piece of software, and most of these programs are collected on a website for free downloading.  This book was edited in honour of Richard S.Bird, Professor of Computer Science at the University of Oxford, on his 60th birthday.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52478702682385,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52478703829265,"sku":"NLS9781403907721","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781403907721.jpg?v=1759847578"},{"product_id":"formal-object-oriented-specification-using-object-z-book-roger-duke-9780333801239","title":"Formal Object Oriented Specification Using Object-Z","description":"This book presents techniques for the precise description of software or systems using the object-oriented formal specification language, Object-Z. It includes numerous and varied case studies to illustrate the techniques and language of object-oriented formal specification and illustrates the key role of formal specification in formal verification and in implementation. Although primarily intended for safety-critical or complex software development, formal specification also has wide application in hardware or general system description. A practical and rigorous approach to object-oriented formal specification. Introduces Object-Z. Illustrates the key role of formal specification in formal verification by inclusion of example proofs of correctness.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52695741202705,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":52695741301009,"sku":"GOR004324349","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780333801239.jpg?v=1762402621"}],"url":"https:\/\/www.worldofbooks.com\/en-ie\/collections\/cornerstones-of-computing-book-series.oembed","provider":"World of Books ","version":"1.0","type":"link"}