Interactive Theorem Proving in Software Engineering

Authors: Kammüller, Florian

Ask AI a Question

Brand: VDM Verlag

ASIN: 3836457695 (US)

55.69 USD In Stock

Features

  • Used Book in Good Condition

Category: N/A (Slug: books/subjects/computers-technology)

Ask a Question about "Interactive Theorem Proving in Software Engineering"

0 / 300