{"title":"David F Gray","description":null,"products":[{"product_id":"introduction-to-the-formal-design-of-real-time-systems-book-david-f-gray-9783540761402","title":"Introduction to the Formal Design of Real-Time Systems","description":"but when we state that A 'equals' B , as well having to know what we mean by A and B we also have know what we mean by 'equals'. This section explores the role of observers; how different types of observ­ er see different things as being equal, and how we can produce algo­ rithms to decide on such equalities. It also explores how we go about writing specifications to which we may compare our SCCS designs. • The final section is the one which the students like best. Once enough of SCCS is grasped to decide upon the component parts of a design, the 'turning the handle' steps of composition and check­ ing that the design meets its specification are both error-prone and tedious. This section introduces the concurrency work bench, which shoulders most of the burden. How you use the book is up to you; I'm not even going to suggest path­ ways. Individual readers know what knowledge they seek, and course leaders know which concepts they are trying to impart and in what order.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49565771825425,"sku":"GOR006619648","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52618400235793,"sku":"NLS9783540761402","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540761403.jpg?v=1754266757"},{"product_id":"immunology-rare-book-david-f-gray-1680181145iev","title":"Immunology","description":"1967. Reprinted with Revisions. 154 pages. Pictorial dust jacket over brown cloth. Binding remains firm. Pages are lightly tanned throughout. Previous owner's inscription and area of loss to top of fr","brand":"WoB","offers":[{"title":"GB \/ WELL_READ \/ INTERNAL","offer_id":50078289723665,"sku":"1680181145IEV","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1680181145IEV_1.jpg?v=1722897322"},{"product_id":"immunology-rare-book-david-f-gray-1717494819ada","title":"Immunology","description":"1966. Reprinted with Revisions. 154 pages. Pictorial dust jacket over brown cloth. Binding remains firm. Pages are lightly tanned throughout. Pencil inscription and sticker to front pastedown and endp","brand":"WoB","offers":[{"title":"GB \/ GOOD \/ INTERNAL","offer_id":50093314375953,"sku":"1717494819ADA","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1717494819ADA_1.jpg?v=1722949835"},{"product_id":"shepherd-s-path-book-david-f-gray-9780892212279","title":"The Shepherd's Path","description":null,"brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50108276146449,"sku":"CIN0892212276G","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0892212276.jpg?v=1750980898"},{"product_id":"shepherd-s-man-book-david-f-gray-9780892212583","title":"The Shepherd's Man","description":null,"brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50367526338833,"sku":"CIN0892212586G","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0892212586.jpg?v=1751298999"},{"product_id":"observation-and-analysis-of-stellar-photospheres-book-david-f-gray-9781009078016","title":"The Observation and Analysis of Stellar Photospheres","description":"This textbook describes the equipment, observational techniques, and analysis used in the investigation of stellar photospheres. Now in its fourth edition, the text has been thoroughly updated and revised to be more accessible to students. New figures have been added to illustrate key concepts, while diagrams have been redrawn and refreshed throughout. The book starts by developing the tools of analysis, and then demonstrates how they can be applied. Topics covered include radiation transfer, models of stellar photospheres, spectroscopic equipment, how to observe stellar spectra, and techniques for measuring stellar temperatures, radii, surface gravities, chemical composition, velocity fields, and rotation rates. Up-to-date results for real stars are included. Written for starting graduate students or advanced undergraduates, this textbook also includes a wealth of reference material useful to researchers. eBook formats include color imagery while print formats are greyscale only; a wide selection of the color images are available online.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":50698030219537,"sku":"NGR9781009078016","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51012464607505,"sku":"NIN9781009078016","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":51829469020433,"sku":"CIN1009078011VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52404821000465,"sku":"NLS9781009078016","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1009078011.jpg?v=1751172158"},{"product_id":"observation-and-analysis-of-stellar-photospheres-book-david-f-gray-9780521408684","title":"The Observation and Analysis of Stellar Photospheres","description":"The starlight we see comes from the outer layers of a star, from the region known as the photosphere. Most of what we know about stars is learned by studying the light from the photosphere. This book describes the equipment, observational techniques and analysis used in the investigation of stellar photospheres. The opening chapters describe the basic tools, such as spectrographs and light detectors, as well as the physics of radiative transfer and the construction of models. Next the author introduces the measurement and modelling of the continuum spectrum. This is followed by the study of spectral line radiation. The final chapters explain how these techniques enable astronomers to deduce valuable information on basic properties of stars. For example, temperature, radius, surface gravity, chemical composition, rotation rate, and velocity fields can be derived from stellar spectroscopy. This textbook is written clearly and at a level suitable for advanced undergraduates, graduate students and researchers working on the properties of stars. The book is filled with real examples of stellar observations and analysis. There is valuable data and calibrations that are useful in real research, as well as extensive references to the primary literature.","brand":"WoB","offers":[{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":52602055754001,"sku":"CIN0521408687VG","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":53345038074129,"sku":"GOR009161998","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780521408684.jpg?v=1761135763"},{"product_id":"barriers-book-david-f-gray-9798414593324","title":"Barriers","description":null,"brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":52705228030225,"sku":"GOR014588600","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9798414593324.jpg?v=1762689417"},{"product_id":"gamble-s-run-book-david-f-gray-9781948318396","title":"Gamble's Run","description":null,"brand":"WoB","offers":[{"title":"US \/ NEW \/ INGRAM","offer_id":53010626904337,"sku":"NIN9781948318396","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781948318396.jpg?v=1768001291"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-david-f-gray.oembed","provider":"World of Books ","version":"1.0","type":"link"}