David L. Dill - Böcker
Visar alla böcker från författaren David L. Dill. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
Häftad, Engelska, 2003
519 kr
Skickas inom 3-6 vardagar
Computer Aided Verification
6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings
Häftad, Engelska, 1994
552 kr
Skickas inom 10-15 vardagar
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the most important advances achieved in CAV research and applications since the predecessor conference held in June 1993.The volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification.
Computer Aided Verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings
Engelska, 2014
653 kr
Skickas inom 5-8 vardagar