Gift cards
Recommendations &News
About
Contact
Account

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

Peter H Schmitt Editor

Deductive Software Verification – The KeY Book cover

Deductive Software Verification – The KeY Book

6 contributors - Paperback

£109.99

Order for delivery or collectionWe offer delivery to many countries, or you can collect from our shop.

Gift WrappingAll items can be gift wrapped by hand, to make an extra special someone even happier.

Plenty that's interestingWith over 4.8 million titles to browse, you're sure to find something new.

Audiobooks. Support The Portobello Bookshop whilst listening...

Find something delightful:

Fiction
Non-fiction
Children’s, Teenage & Educational
Magazines
Stationery
Special Editions
Gift cards

We’re open 7 days a week, 10am to 6pm.

Our online shop offers delivery direct to you, or you can order items for collection from us.

We're proud to be a Real Living Wage employer.

46 Portobello High Street, Edinburgh, EH15 1DA

Terms & Conditions
Privacy policy
Accessibility

The Portobello Bookshop Ltd 2024, an independent bookshop registered in Scotland SC722514