ReadThe Portobello Bookshop Gift Guide 2025

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

Ezio Bartocci Editor

Editors: Ezio Bartocci, TU Wien, Austria and Yliès Falcone, University of Grenoble Alpes, France.

Runtime Verification cover

Runtime Verification

2 contributors - Paperback

£44.99

Computational Methods in Systems Biology cover

Computational Methods in Systems Biology

3 contributors - Paperback

£44.99

From Reactive Systems to Cyber-Physical Systems cover

From Reactive Systems to Cyber-Physical Systems

4 contributors - Paperback

£44.99

Model Checking Software cover

Model Checking Software

2 contributors - Paperback

£44.99

Formal Methods in Outer Space cover

Formal Methods in Outer Space

3 contributors - Paperback

£49.99

Lectures on Runtime Verification cover

Lectures on Runtime Verification

2 contributors - Paperback

£54.99