Hybrid Systems : Computation and Control

View on Open Library

Hybrid Systems : Computation and Control

by Freek Wiedijk , Oded Maler , Amir Pnueli

No reviews yet

First published: 2003 1 language ISBN: 9783540365808

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Freek Wiedijk

The Seventeen Provers of the World

The Seventeen Provers of the World

Types for Proofs and Programs

Types for Proofs and Programs

Logics and Type Systems in Theory and Practice

Logics and Type Systems in Theory and Pr...

Hybrid systems