Happy New Year! Get 10% off all books on our website throughout January! Discount will be applied automatically at checkout.

Books etc
Fiction
Storytelling is as old as time and, whether it’s an award-winning epic novel or a page-turning blockbuster, a great book can stay with you throughout your life
Contemporary & Classic Fiction Crime & Mystery Fantasy Graphic Novels & Comics Browse more Fiction categories
Non-fiction
Be it biography, history, nature writing or any other form of true story, non-fiction writing is often loaded with just as much suspense and character as the most exciting novel
Essays, Memoir & Biography Nature & Travel History & Archaeology Science & Technology Browse more Non-fiction categories
Children’s, Teenage & Educational
These stories for children and young adults will pique imaginations and inspire young readers
Children's Fiction Children's Non-Fiction Board Books, Picture Books & Activity Books Children's Poetry & Anthologies Browse more Children’s, Teenage & Educational categories
Magazines
Stationery
Toys & Games
Merchandise
Gift cards
Special Editions
Merchandise
Events
All events
Discover our full programme of events, for unique in-person and online activities
Author Events
Meet your favourite authors and attend insightful, engaging discussions about their books
Book Clubs
Exciting clubs covering all the main reading genres for you to get stuck into
Workshops
Other Events
Gift cards

Sofiène Tahar Author & Editor

Osman Hasan, National University of Sciences and Technology, Pakistan.

Sofiène Tahar, Concordia University, Canada.

Probabilistic Analysis using Theorem Proving cover

Probabilistic Analysis using Theorem Proving

2 authors - Paperback

£50.80 was £56.44

Formalized Probability Theory and Applications Using Theorem Proving cover

Formalized Probability Theory and Applications Using Theorem Proving

2 authors - Hardback

£190.80 was £212.00

Formal Methods and Software Engineering cover

Formal Methods and Software Engineering

2 contributors - Paperback

£49.49 was £54.99

Verification and Evaluation of Computer and Communication Systems cover

Verification and Evaluation of Computer and Communication Systems

4 contributors - Paperback

£40.49 was £44.99