{"title":"Antoni Diller","description":null,"products":[{"product_id":"z-book-antoni-diller-9780471939733","title":"Z","description":"Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49514982637841,"sku":"GOR001433927","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":49966605762833,"sku":"CIN0471939730G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ GOOD \/ INTERNAL","offer_id":50263873683729,"sku":"GOR002411289","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ WELL_READ \/ INTERNAL","offer_id":51372169593105,"sku":"GOR006846585","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52332541739281,"sku":"NLS9780471939733","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0471939730.jpg?v=1750814450"},{"product_id":"latex-line-by-line-book-antoni-diller-9780471979180","title":"LaTeX: Line by Line","description":"This is an easy-to-follow tutorial on the most popular text processing system used in the academic community. It explains formatting fundamentals and the more complex techniques for typesetting mathematical formulas. It is useful as a resource for those with access to the previous version (LATEX 2.09) who want to update themselves on the latest version - LATEX 2.    The book is aimed at anyone interested in text processing and in particular those wanting to use LATEX to produce high quality documents. LATEX 2e is suitable for people with no previous LATEX experience.    Written from the users point of view, this edition features many entirely new commands, replacing obsolete material as well as an appendix describing the main differences between old version LATEX 2.09 and the new version. There is also a glossary of all basic LATEX 2 commands.    Many of the typesetting examples from the book are coded as templates and are available on the accompanying Website.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49577594814737,"sku":"GOR004100213","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ GOOD \/ INTERNAL","offer_id":49663779995921,"sku":"GOR007171197","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":50106493600017,"sku":"CIN047197918XG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52134207619345,"sku":"NLS9780471979180","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/047197918X.jpg?v=1751198206"},{"product_id":"z-book-antoni-diller-9780471924890","title":"Z.","description":"This book is about the formal specification language Z. It is based on two lecture courses given in the School of Computer Science at the University of Birmingham. Given its origins this book can be used as a textbook for courses on Z and formal methods at first and second year undergraduate level. This book is divided into seven parts. Part 1 contains a single chapter which aims to explain what Z is and why it is a good method for specifying software components. Part 2 is a tutorial introduction to Z which covers the basic mathematicl toolkit of Z and the fundamental ideas of the schema calculus and part 3 looks at methods of reasoning. Part 4 contains four specification case studies: two small ones and two fairly large ones. The two small ones are of the bill of materials problem and of a simple route planner. The two large case studies are of a display-orientated text-editor based on Sufrin's specification and of Wing's library problem. Part 5 looks at how a Z specification can be animated using a high level modern functional programming language and Prolog. Part 6 is a reference manual of all the most frequently used Z notations and Part 7 consists of two appendices as well as an annotated bibliography which contains many pointers into the ever-increasing literature on Z.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":53400254382353,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":53400254480657,"sku":"GOR000933414","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780471924890.jpg?v=1776070997"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-antoni-diller.oembed","provider":"World of Books ","version":"1.0","type":"link"}