Hardware Specification, Verification and Synthesis: Mathematical Aspects:: New

Yorav - Hardware and Software Verification and Testing - New paperbac - X555z

Graham - Interactive Systems Design Specification and Verification - X555z

Bloem - Hardware and Software Verification and Testing 12th Interna - X555z

Sanchez - Formal Specification and Synthesis of Procedural Controllers - X555z

Duke - Design Specification and Verification of Interactive Systems ' - X555z

Harrison - Design Specification and Verification of Interactive Syste - X555z

Markopoulos - Design Specification and Verification of Interactive Sy - X555z