The book is currently out of stock

Über Craigsche Interpolation und deren Anwendung in der formalen Modellprüfung

Authors

Stefan Kupferschmid

Parameters

Categories

Computers, IT, Programming

Series: Design, test and verification of embedded systems

Book purchase

Über Craigsche Interpolation und deren Anwendung in der formalen Modellprüfung, Stefan Kupferschmid

Language
Released: 2013

We’ll notify you via email once we track it down.

Payment methods