Generating Test Templates via Automated Theorem Proving

Name: Generating Test Templates via Automated Theorem Proving
Brand: Creative Media Partners, LLC
SKU: 9781025154039
Price: 22.75 GBP
Availability: InStock

Product form

£22.75

Includes FREE delivery

RRP £23.95 – you save £1.20 (5%)

Order before 4pm tomorrow for delivery by Wed 17 Jun 2026.

15 in stock

View other formats and editions of Generating Test Templates via Automated Theorem Proving by

Publisher: Creative Media Partners, LLC
Publication Date: 22/05/2025
ISBN13: 9781025154039, 978-1025154039
ISBN10:

Also in:
Mathematics Mathematical logic

Generating Test Templates via Automated Theorem Proving

£22.75

Customer Reviews

Recently viewed products