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

Raghavendra Kagalavadi Ramesh Author

Model checking trace-based information flow properties cover

Model checking trace-based information flow properties

3 authors - Paperback

£36.60 was £40.67