Condition: New.
Paperback. Condition: New.
Condition: As New. Unread book in perfect condition.
Condition: New.
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer London, Limited, 1996
ISBN 10: 3540199772 ISBN 13: 9783540199779
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
£ 22.64
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: California Books, Miami, FL, U.S.A.
Condition: New. Print on Demand.
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condition: new. Paperback. Horror Book: Summer CampWelcome to Hollow Pines Camp, where the summer of 1975 was supposed to be full of campfires, canoe races, and teenage memories. But for the seven counselors prepping the grounds before the campers arrive, something feels off. It starts with unexplained knocking at the cabin doors in the dead of night. Whispers in the woods. Shadows that move where no one should be. And then-someone goes missing.Locals have always told stories about Swan Lake, the dark, mist-covered water on the edge of camp. Some say it's cursed. Others whisper about strange lights and figures seen just beyond the trees. Camp legends claim that people who wander too close to the lake sometimes vanish-without a trace.As the group searches for answers, they begin to uncover the chilling truth behind the camp's carefully hidden past.About the AuthorAdam Stephen Goldsack is a British horror writer known for his chilling supernatural tales and the creator of the acclaimed Dark Horror series. With a deep fascination for the unexplained and a talent for weaving atmospheric suspense, his stories often blur the line between reality and nightmare. Based in Middlesbrough, Adam lives with his two children and draws inspiration from local legends, eerie folklore, and his lifelong love of the paranormal. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Published by Sekrecy Books, 2021
ISBN 13: 9798474611051
Seller: Stephen Dadd, Ashford, United Kingdom
Soft cover. Condition: New. 362pp. Brand new book. (Sealed.) Size: 8vo - over 7¾ - 9¾" tall. Book.
Paperback. Condition: New.
Seller: California Books, Miami, FL, U.S.A.
Condition: New. Print on Demand.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 96.88
Quantity: Over 20 available
Add to basketCondition: New. In.
Condition: New.
Condition: New. pp. 388.
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 386 pages. 9.25x6.50x1.00 inches. In Stock.
Language: English
Published by Springer, Springer Vieweg, 1996
ISBN 10: 3540199772 ISBN 13: 9783540199779
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Rationale Software engineering aims to develop software by using approaches which en able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using old fashioned program ming techniques. The level of safety required becomes particularly high in software which is to function without a break for long periods of time, since the software cannot be restarted and errors can accumulate. Consequently programming for mission critical systems, for example, needs to address the requirements of correctness with particular care. In the search for techniques for making software cheaper and more reliable, two important but largely independent influences have been visible in recent years. These are: - Object Technology - Formal Methods First, it has become evident that objects are, and will remain an important concept in software. Experimental languages of the 1970's introduced various concepts of package, cluster, module, etc. giving concrete expression to the importance of modularity and encapsulation, the construction of software com ponents hiding their state representations and algorithmic mechanisms from users, exporting only those features (mainly the procedure calling mechanisms) which were needed in order to use the objects. This gives the software com ponents a level of abstraction, separating the view of what a module does for the system from the details of how it does them.
Condition: Gut. Zustand: Gut | Seiten: 388 | Sprache: Englisch | Produktart: Bücher | Rationale Software engineering aims to develop software by using approaches which en able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using old fashioned program ming techniques. The level of safety required becomes particularly high in software which is to function without a break for long periods of time, since the software cannot be restarted and errors can accumulate. Consequently programming for mission critical systems, for example, needs to address the requirements of correctness with particular care. In the search for techniques for making software cheaper and more reliable, two important but largely independent influences have been visible in recent years. These are: ¿ Object Technology ¿ Formal Methods First, it has become evident that objects are, and will remain an important concept in software. Experimental languages of the 1970's introduced various concepts of package, cluster, module, etc. giving concrete expression to the importance of modularity and encapsulation, the construction of software com ponents hiding their state representations and algorithmic mechanisms from users, exporting only those features (mainly the procedure calling mechanisms) which were needed in order to use the objects. This gives the software com ponents a level of abstraction, separating the view of what a module does for the system from the details of how it does them.
Seller: Mispah books, Redhill, SURRE, United Kingdom
Paperback. Condition: Like New. Like New. book.
Published by Independently Published Feb 2022, 2022
ISBN 13: 9798410755498
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Neuware.
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
£ 22.64
Quantity: Over 20 available
Add to basketPAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Published by Independently published
ISBN 13: 9798410755498
Seller: moluna, Greven, Germany
Condition: New.
Seller: CitiRetail, Stevenage, United Kingdom
Paperback. Condition: new. Paperback. Horror Book: Summer CampWelcome to Hollow Pines Camp, where the summer of 1975 was supposed to be full of campfires, canoe races, and teenage memories. But for the seven counselors prepping the grounds before the campers arrive, something feels off. It starts with unexplained knocking at the cabin doors in the dead of night. Whispers in the woods. Shadows that move where no one should be. And then-someone goes missing.Locals have always told stories about Swan Lake, the dark, mist-covered water on the edge of camp. Some say it's cursed. Others whisper about strange lights and figures seen just beyond the trees. Camp legends claim that people who wander too close to the lake sometimes vanish-without a trace.As the group searches for answers, they begin to uncover the chilling truth behind the camp's carefully hidden past.About the AuthorAdam Stephen Goldsack is a British horror writer known for his chilling supernatural tales and the creator of the acclaimed Dark Horror series. With a deep fascination for the unexplained and a talent for weaving atmospheric suspense, his stories often blur the line between reality and nightmare. Based in Middlesbrough, Adam lives with his two children and draws inspiration from local legends, eerie folklore, and his lifelong love of the paranormal. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Seller: CitiRetail, Stevenage, United Kingdom
Paperback. Condition: new. Paperback. The Painted ManAfter the sudden death of her father, Sarah Hurworth and her family move into an old house on the outskirts of Middlesbrough, hoping for a fresh start and a quiet summer together. But strange things begin almost immediately. Cold drafts creep through locked rooms. Chains drag across the floorboards in the dead of night. And painted upon Sarah's bedroom door is the image of a tall man in a dark suit and bowler hat - smiling with crooked, inhuman delight. When the family visit the nearby Paper Tiger Circus, hidden beyond Fairbank Forest in the Cleveland Hills, Sarah becomes convinced the sinister figure is somehow connected to the travelling show and its dark past. As terrifying visions grow more violent and the line between reality and nightmare begins to blur, Sarah and her siblings uncover a series of disturbing events linked to the mysterious Gosforth bloodline, occult rumours, and the long-dead ringmaster.But some things do not stay buried. As the haunting tightens its grip around the Hurworth home, Sarah must confront a horrifying truth about herself before the Painted Man claims her completely. Blending supernatural horror, psychological dread and urban legend, The Painted Man is a chilling tale of family, fear, and the evil that waits silently in the dark corners of forgotten places. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Language: English
Published by Springer, Springer Apr 1996, 1996
ISBN 10: 3540199772 ISBN 13: 9783540199779
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Rationale Software engineering aims to develop software by using approaches which en able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using old fashioned program ming techniques. The level of safety required becomes particularly high in software which is to function without a break for long periods of time, since the software cannot be restarted and errors can accumulate. Consequently programming for mission critical systems, for example, needs to address the requirements of correctness with particular care. In the search for techniques for making software cheaper and more reliable, two important but largely independent influences have been visible in recent years. These are: - Object Technology - Formal Methods First, it has become evident that objects are, and will remain an important concept in software. Experimental languages of the 1970's introduced various concepts of package, cluster, module, etc. giving concrete expression to the importance of modularity and encapsulation, the construction of software com ponents hiding their state representations and algorithmic mechanisms from users, exporting only those features (mainly the procedure calling mechanisms) which were needed in order to use the objects. This gives the software com ponents a level of abstraction, separating the view of what a module does for the system from the details of how it does them. 388 pp. Englisch.
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. Print on Demand pp. 388 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Formal Methods and Object Technology | Stephen J. Goldsack (u. a.) | Taschenbuch | xviii | Englisch | 1996 | Springer | EAN 9783540199779 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. PRINT ON DEMAND pp. 388.
Language: English
Published by Springer, Springer Vieweg Apr 1996, 1996
ISBN 10: 3540199772 ISBN 13: 9783540199779
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Rationale Software engineering aims to develop software by using approaches which en able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using old fashioned program ming techniques. The level of safety required becomes particularly high in software which is to function without a break for long periods of time, since the software cannot be restarted and errors can accumulate. Consequently programming for mission critical systems, for example, needs to address the requirements of correctness with particular care. In the search for techniques for making software cheaper and more reliable, two important but largely independent influences have been visible in recent years. These are: ¿ Object Technology ¿ Formal Methods First, it has become evident that objects are, and will remain an important concept in software. Experimental languages of the 1970's introduced various concepts of package, cluster, module, etc. giving concrete expression to the importance of modularity and encapsulation, the construction of software com ponents hiding their state representations and algorithmic mechanisms from users, exporting only those features (mainly the procedure calling mechanisms) which were needed in order to use the objects. This gives the software com ponents a level of abstraction, separating the view of what a module does for the system from the details of how it does them.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 388 pp. Englisch.