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

Jean-Raymond Abrial Editor & Author

Jean-Raymond Abrial is a researcher in the Department of Computer Science at ETH Zürich.

Modeling in Event-B cover

Modeling in Event-B

Jean-Raymond Abrial - Hardback

£122.00

Rigorous Methods for Software Construction and Analysis cover

Rigorous Methods for Software Construction and Analysis

2 contributors - Paperback

£44.99