Specification In B: An Introduction Using The B Toolkit

Beekeeping: How to Avoid Common Mistakes and Pitfalls (A Complete Guide to Nurturing Healthy Hives for Thriving Bees)

Beekeeping: Learn the Essentials of Bee Care (How to Manage Your First Hive, and Enjoy Your Honey Harvest in No Time)

Advanced Systems Design with Java, UML and MDA

Beekeeping: How to Start a Beekeeping Hobby at Low Cost (Everything You Need to Know to Stay Safe and Start, Protect and Nurture Your First Bee Colony)

Agile Model-Based Development Using UML-RSDS

Python for Algorithmic Trading Cookbook: Recipes for designing, building, and deploying algorithmic trading strategies with Python

The B Language and Method: A Guide to Practical Formal Development

Financial Modelling for Project Finance: Mastering Financial Models and Strategies for Funding Successful Projects with Confidence

Formal Object-Oriented Development

Trading Systems Developer Interview Guide (C++ Edition): Insider's Guide to Top Tech Jobs in Finance

Introduction to Software Architecture: Innovative Design using Clean Architecture and Model-Driven Engineering

Financial Freedom Thru Miracles of S.I.P (Systematic Investment Plan): Financial Freedom Thru Miracles of S.I.P Systematic Investment Plan by Mahesh Chandra Kaushik: A Guide to Financial Independence

Mathematical Modeling And Computation In Finance: With Exercises And Python And Matlab Computer Codes

The Sustainable Fintech Revolution: Building a Greener Future for Finance: Building a Greener Future for Finance

Credit Scoring and Its Applications

The Gods Must Be Crazy!: A Tiger Ride from Cradle of Communism to Catacomb of Capitalism