• Gift cards
  • Recommendations &News
  • About
    • About us
    • Local School Libraries
    • Christmas Book Drive
  • 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 FictionCrime & MysteryFantasyGraphic Novels & ComicsBrowse 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 & BiographyNature & TravelHistory & ArchaeologyScience & TechnologyBrowse more Non-fiction categories
    Children’s, Teenage & Educational

    These stories for children and young adults will pique imaginations and inspire young readers

    Children's FictionChildren's Non-FictionBoard Books, Picture Books & Activity BooksChildren's Poetry & AnthologiesBrowse more Children’s, Teenage & Educational categories
    Magazines
    Stationery
    Toys & Games
    Merchandise
    Gift cards
  • Special Editions
  • Events
  • Gift cards

Program Proofs

K Rustan M Leino author Kaleb Leino author

Format:Paperback

Publisher:MIT Press Ltd

Published:7th Mar '23

Should be back in stock very soon

Program Proofs cover

This non-fiction paperback, "Program Proofs" from K Rustan M Leino & Kaleb Leino, was published 7th March 2023 by MIT Press Ltd.

  1. Non-fiction
  2. Computer programming / software engineering

ISBN: 9780262546232

Dimensions: unknown

Weight: unknown

496 pages

Other books from K Rustan M Leino:

  • Computer Aided Verification

Please login to your account or register to use wishlists:

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 enlighteningWith over 4.8 million titles to browse, you're sure to find something new.

Audiobooks. Support The Portobello Bookshop whilst listening...

Find something exceptional:

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.

Contact us

0131 629 6756

46 Portobello High Street, Edinburgh, EH15 1DA

  • Terms & Conditions
  • Privacy policy
  • Accessibility

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