>
✔ 100% Money-Back Guarantee on Eligible Items
✔ Prices Displayed in Your Local Currency
✔ Final Price = No Surprise Import Fees
✔ Complimentary Insured Worldwide Shipping on Qualifying Orders
✔ Select Collector & Specialty Pieces May Require Secured Delivery Handling
by Stefan Gruner (Author), Apurva Kumar (Author), Tom Maibaum (Author)
This book focuses on the clarification of what actually a handbook is, the systematic identification of what ought to be considered as "settled knowledge" (extracted from historic repositories) for inclusion into such a handbook, and the "assembly" of such identified knowledge into a form which is fit for the purpose and conforms to the formal characteristics of handbooks as a "literary genre". For many newly emerging domains or disciplines, for which no handbook with normative authority has yet been defined, the question arises of how to do this systematically and in a non-arbitrary manner.
This book is the first to reflect upon the question of how to construct a desktop handbook. It is demonstrated how concept analysis can be used for identifying settled knowledge as the key ingredient by utilizing the assembled data for classification; a presentation scheme for handbook articles is developed and demonstrated to be suitable. The sketched approachis then illustrated by an example from the railway safety domain. Finally, the limitations of the presented methods are discussed. The key contribution of this book is the (example illustrated) construction method itself, not the handbook, which would result from a highly detailed and thoroughly comprehensive application of the method.Author Biography
Stefan Gruner is an Associate Professor of Computer Science at the University of Pretoria, Republic of South Africa. Together with Tom Maibaum, he co-supervised Apurva Kumar during her Master's project, on the results of which some parts of this book are based. He has also collaborated with Markus Roggenbach for many years, particularly on questions concerning the formal semantics of CSP. At the University of Pretoria, Stefan Gruner lectures mostly theory based courses such as compiler construction or formal methods. With his additional qualification in philosophy, he is also active in interdisciplinary fields such as philosophy of science, philosophy of technology, and philosophy of informatics (meta informatics).
Apurva Kumar completed her Masters in Applied Science from McMaster University in 2015 under the supervision of Stefan Gruner and Tom Maibaum. Many of the findings in her Master's thesis are incorporated in this book.Apurva Kumar is currently a security researcher on the Threat Intelligence team at Lookout Inc. She spends most of her time uncovering and tracking threats as they emerge in and around the mobile space. Her main focus is on exposing and defending against nation state surveillance campaigns. Apurva's current work incorporates threat hunting, reverse engineering and penetration testing. Tom Maibaum is an Emeritus Professor of the Foundations of Software Engineering in the Department of Computing and Software, McMaster University, Canada. He now lives in The United Kingdom. Previously, he held similarly named Chairs at King's College London and Imperial College London. Throughout his career, his research has focused on the logical and categorical bases of software engineering and on the applications of these topics to software engineering methods. He has studied the philosophical and epistemological bases of engineering and, in particular, software engineering. Over the past 15 years he has worked with Mark Lawford and Alan Wassyng at McMaster University in the context of the McMaster Centre for Software Certification, developing new logical and epistemological foundations of safety reasoning. Markus Roggenbach is a Professor of Computer Science at Swansea University, The United Kingdom. His research foci are formal methods for safety and for cyber security, their semantics, how to utilise them throughout the software life cycle, how to support them with tools, and their application in industrial contexts. For more than a decade, he has been collaborating with Siemens Rail Automation (formerly Invensys Rail) to answer questions concerning safety with regard to railway signalling systems. He leads the Swansea Railway Verification Group, the European Technical Working Group on Formal Methods in Railway Control, and chairs the International Federation for Information Processing (IFIP) Working Group 1.3 "Foundations of System Specification".- In stock, ready to ship
- ✔ Authenticity Guaranteed — Verified Designer Goods
- ✔ Sourced from Authorized European/U.S. Luxury Distributors
- ✔ Secure Checkout — SSL Encrypted Payments
- ✔ Fast Global Delivery — 3–11 Business Days
- ✔ Easy Returns on Eligible Items
- ✔ 100% Money-Back Guarantee — Full Refund if Not Satisfied
AUTHENTICITY GUARANTEED
Reserved for you — complete your purchase to secure this piece.
OFFICIALLY AUTHORIZED RESELLER
Discover Officially Authorized Authentic Items at STORE7994.com - Certificates Available on Request!
Independently verified for store quality and customer safety.
Trust score: 91/100
All designer items offered by STORE 7994 are sourced from trusted luxury distributors and verified through independent authentication services.
Learn how STORE 7994 authenticates luxury items
Guaranteed Authentic — Includes Brand Documentation & Third-Party Verification Options.
Shipping information
- Free Shipping* on all orders over $300 USD to most countries* Estimated delivery: 2-5 business days Mon-Sat to U.S., CA, EU etc.
- Tracking available: DHL Express
- Store 7994 Shipping policy
- Global delivery in 3–9 business days (location dependent).
- Free Worldwide Shipping $300+. International duties & VAT are calculated by destination country and may be collected upon delivery. UK orders are subject to 20% import VAT upon delivery.
Our innovation isn’t just in the brands we carry — it’s in the way we connect them. From our automation engine that keeps collections globally updated to our commitment to authenticity-first presentation, STORE 7994 exists where timeless design meets modern precision.
Every product we offer is:
Elevated · Intentional · Exclusive · Authentic
STORE 7994 is an authorized reseller of luxury fashion houses. Certificates and proof of authenticity are available to brand owners and partners upon request.
Returns & Refunds
We want you to shop with confidence at STORE 7994. If your purchase does not meet expectations, eligible items may be returned under the conditions below.
Return Eligibility
Items must be unused, unworn, and in original condition with all tags, packaging, and accessories included. Items showing any signs of wear or damage will not be accepted.
Return Window
Return requests must be made within 14 days of delivery.
Return Shipping
Customers are responsible for return shipping costs unless the item is defective, damaged, or incorrect.
Luxury Items
Items valued over $1,000 may be subject to a 7% restocking fee upon approved return.
Non-Returnable Items
For hygiene and product integrity reasons, the following items are final sale once opened or used:
• Underwear
• Fragrances
• Any worn or used items
Made-to-Order Items
Custom-designed products, including STORE 7994 hoodies, are made exclusively for each customer and are final sale. These items are not eligible for return or exchange unless defective or incorrect.
If you receive a defective or incorrect item, please contact us and we will make it right.
International Shipping & Duties
Many of our products ship directly from trusted international partners. Any applicable customs duties or import taxes are calculated at checkout and are non-refundable, even if the item is returned.
Returns & Associated Fees
All approved returns are subject to a $24 return processing fee. For international orders, duties, taxes, and return fees will be deducted from the original payment.
Shipping Policy
Complimentary shipping is offered on orders over $300. Orders below this threshold are subject to standard shipping rates at checkout.
