Articoli correlati a Specification and Compositional Verification of Real-Time...

Specification and Compositional Verification of Real-Time Systems - Brossura

Hooman, J.

 
9780387549477: Specification and Compositional Verification of Real-Time Systems

Sinossi

Book by Hooman J

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.