Isabelle

Isabelle A Generic Theorem Prover - Lecture Notes in Computer Science

Paperback

Not available for sale

Includes delivery to the United States

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Check stock

    Other formats/editions

    Book information

    ISBN: 9780387582443
    Publisher: Springer Verlag,.
    Imprint: Springer Verlag,.
    Language: English
    Number of pages: 321
    Weight: 453g
    Height: 241mm
    Width: 165mm
    Spine width: 19mm

    We recommend

    $3.96off

    A Dictionary of Electronics and Electrical Engineering

    A. Butterfield (comp...

    Paperback
    Published 21 Jun 2018

    Save $3.96

    • RRP $20.51
    • $16.55
    Add to basket

    $5.95off

    Electronics

    Charles Platt

    Paperback
    Published 08 Oct 2021

    Save $5.95

    • RRP $35.90
    • $29.95
    Add to basket
    The Official Raspberry Pi Handbook

    The Makers of The Ma...

    Paperback
    Published 31 Oct 2023

    • $21.83
    Add to basket

    $2.56off

    Fieldbus and Networking in Process Automation

    Sunit Kumar Sen

    Paperback
    Published 25 Sep 2023

    Save $2.56

    • RRP $58.99
    • $56.43
    Add to basket

    $11.25off

    Intelligent Control for Modern Transportation Systems

    Arunesh Kumar Singh ...

    Hardback
    Published 16 Oct 2023

    Save $11.25

    • RRP $118.00
    • $106.75
    Add to basket
    Manufacturing Technology

    Helmi A. Youssef, Ha...

    Hardback
    Published 17 Aug 2023

    • $176.86
    Add to basket

    $10.53off

    Cloud Based Multi-Modal Information Analytics

    Srinidhi Hiriyannaia...

    Hardback
    Published 29 Jun 2023

    Save $10.53

    • RRP $115.43
    • $104.90
    Add to basket

    $2.37off

    A Hands-on Introduction to SolidWorks 2023

    Kirstie Plantenberg

    Paperback
    Published 25 May 2023

    Save $2.37

    • RRP $85.93
    • $83.56
    Add to basket

    $8.54off

    Applied Computer Vision and Soft Computing With Interpretable AI

    Swati V. Shinde (edi...

    Hardback
    Published 05 Oct 2023

    Save $8.54

    • RRP $115.43
    • $106.89
    Add to basket