{"title":"Helen Creighton","description":null,"products":[{"product_id":"songs-and-ballads-from-nova-scotia-book-helen-creighton-9780486217031","title":"Songs and Ballads from Nova Scotia","description":"This book focuses on the use of formal methods in order to guarantee the correctness of real-time systems. For this purpose, the formal framework Equinox is introduced, which allows the specification, modeling, verification and runtime analysis of real-time systems. New sophisticated methods allow a formally verifiable design, development and realization of real-time systems directly out of synchronous languages. This enables for the first time a bridging between industrial real-time descriptions and formal real-time verification. Timed Kripke structures are introduced as formal models, in order to allow abstractions in real-time systems, without loss of quantitative properties. The ability of modeling non-interruptible processes and atomic timed actions enables also the low-level verification of real-time systems. The new temporal logic JCTL has been developed as a real-time extension of the widely used logic CTL. Overcoming the problems of other real-time logics, JCTL is directly defined on timed Kripke structures and allows the use of established symbolic techniques.In contrast to other approaches, these methods enable the direct generation of a final formal model without parallel composition of single sub-models, avoiding several known problems, like state space explosion, or deadlocks and timelocks. An exact and detailed low-level runtime analysis is introduced, which in combination with the modeling capabilities of timed Kripke structures enables for the first time the low-level verification of real-time systems.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49553421730065,"sku":"GOR012953743","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50473188262161,"sku":"CIN0486217035VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":52438053978385,"sku":"CIN0486217035G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ WELL_READ \/ SBYB","offer_id":52457758490897,"sku":"CIN0486217035A","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0486217035.jpg?v=1751103532"},{"product_id":"a-folktale-journey-through-the-maritimes-book-helen-creighton-9781895415285","title":"A Folktale Journey Through the Maritimes","description":null,"brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49622444409105,"sku":"GOR005909640","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50196897005841,"sku":"CIN1895415284VG","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1895415284.jpg?v=1751218159"},{"product_id":"bluenose-ghosts-book-helen-creighton-9781551097176","title":"Bluenose Ghosts","description":"\u003cp\u003eGhosts guarding buried treasure, phantom ships, haunted houses and supernatural warnings of death--these are just some of the strange and mysterious phenomena that you will encounter in \u003cem\u003eBluenose Ghosts\u003c\/em\u003e. These unexplained mysteries are all the more chilling because they are based on personal experiences of ordinary people, told to Helen Creighton, one of Canada's most respected and renowned folklorists, over a period of thirty years. So when the moon is full and the wind is howling, be prepared to be spooked by apparitions and things that go bump in the night. \u003cem\u003eBluenose Ghosts \u003c\/em\u003ewas an instant hit when it was first published in 1957.\u003c\/p\u003e\u003cp\u003eThis new edition of \u003cem\u003eBluenose Ghosts\u003c\/em\u003e features a new foreword from Nova Scotia writer Clary Croft that explores Creighton's enduring influence on the province's folklore.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":49881782223121,"sku":"CIN1551097176G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50431529648401,"sku":"CIN1551097176VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":51036843606289,"sku":"NIN9781551097176","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52331987894545,"sku":"NLS9781551097176","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1551097176.jpg?v=1750798336"},{"product_id":"bluenose-ghosts-rare-book-helen-creighton-1709281975abs","title":"Bluenose Ghosts","description":"1967. Reprinted. 280 pages. Pictorial dust jacket over blue cloth. Flat signed by author to title page. Pages remain bright and clean with minimal tanning and foxing. Binding remains firm. Boards have","brand":"WoB","offers":[{"title":"GB \/ GOOD \/ INTERNAL","offer_id":50085178048785,"sku":"1709281975ABS","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1709281975ABS_1.jpg?v=1722921997"},{"product_id":"bluenose-ghosts-book-helen-creighton-9780770000226","title":"Bluenose Ghosts","description":null,"brand":"WoB","offers":[{"title":"GB \/ GOOD \/ INTERNAL","offer_id":50190280622353,"sku":"GOR008821417","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/B0000CJWE4.jpg?v=1751361745"},{"product_id":"gaelic-songs-in-nova-scotia-book-helen-creighton-9780660001449","title":"Gaelic Songs in Nova Scotia","description":null,"brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50358155018513,"sku":"CIN0660001446G","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/B002I8835G.jpg?v=1751041940"},{"product_id":"bluenose-magic-3rd-ed-book-helen-creighton-9781774714720","title":"Bluenose Magic (3rd Ed)","description":"\u003cp\u003e\u003cb\u003eThe classic work of Nova Scotia folklore, available with an attractive new cover and original pen-and-ink illustrations.\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e\u003ci\u003eBluenose Magic\u003c\/i\u003e, first published in 1968, is considered a classic of Maritime literature, and its author, Dr. Helen Creighton, is one of Canada's best-loved and most respected folklorists.\u003c\/p\u003e \u003cp\u003eThis fascinating and engaging companion to the author's bestselling Bluenose Ghosts welcomes readers into a world of forerunners, enchantment, dreams, divination, buried treasure, guardian ghosts, home remedies, and mystical occurrences. These unique tales have been passed on from generation to generation of Nova Scotia's families.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"US \/ NEW \/ INGRAM","offer_id":53084006580497,"sku":"NIN9781774714720","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781774714720.jpg?v=1773317855"},{"product_id":"bluenose-ghosts-book-helen-creighton-9781551090849","title":"Bluenose Ghosts","description":null,"brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":53096622457105,"sku":"CIN1551090848G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":53439819579665,"sku":"GOR003260781","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":53718947004689,"sku":"CIN1551090848VG","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781551090849.jpg?v=1770178951"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/author-books-by-helen-creighton.oembed","provider":"World of Books ","version":"1.0","type":"link"}