Kluwer international series in video computing – serie
Visar alla böcker i serien Kluwer international series in video computing. Handla med fri frakt och snabb leverans.
1 produkter
Formal Methods and Models for System Design
A System Level Perspective
Av Rajesh Gupta, Paul Le Guernic m. fl.
2004
2431 kr
Lägg i varukorg
The gap between the size of microelectronic design/validation task and our ability to design these in a reasonable time is steadly increasing. We need tools and techniques to bridge this gap. Formal models and methods hold this promise by their focus on scalability, efficiency and design …
