Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Proof Engines for the Analysis of Hybrid Discrete-continuous Systems


Engels
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure, Christian Herde - Paperback - 9783834814944
Samenvatting
Lees Samenvatting Minder Samenvatting
Specificaties
Alle specificaties Minder specificaties
Recensies
-
Nog geen recensies. Wees de eerste!

Welkom op onze nieuwe website! Ben je benieuwd naar de belangrijkste veranderingen? Of wil je een probleem melden? Klik dan hier!

DE VOORDELEN VAN LIBRIS

Bestellen & ophalen

Bestel online en haal op in de winkel

Retourneren

Je hebt 14 dagen om van gedachten te veranderen

Klantenservice

Vind het antwoord op een specifieke vraag

Hostname: pro-mbooks2