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

Pierre-Loïc Garoche Author

Pierre-Loïc Garoche is senior research scientist at ONERA, France’s national aerospace research center.

Formal Verification of Control System Software cover

Formal Verification of Control System Software

Pierre-Loïc Garoche - Hardback

£55.00

Static Analysis of Actors by Abstract Interpretation cover

Static Analysis of Actors by Abstract Interpretation

Pierre-Loïc Garoche - Paperback

£65.57