DownloadThe Portobello Bookshop Gift Guide 2024

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
Events
Gift cards

Marco Bernardo Editor & Author

Formal Methods for Executable Software Models cover

Formal Methods for Executable Software Models

5 contributors - Paperback

£64.99

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems cover

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

3 contributors - Paperback

£44.99

Probabilistic Trace and Testing Semantics cover

Probabilistic Trace and Testing Semantics

Marco Bernardo - Paperback

£60.00

Formal Methods for Multicore Programming cover

Formal Methods for Multicore Programming

2 contributors - Paperback

£39.99

Formal Methods for Dynamical Systems cover

Formal Methods for Dynamical Systems

4 contributors - Paperback

£39.99