Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures /
57
| Հիմնական հեղինակներ: | , , |
|---|---|
| Ձևաչափ: | |
| Լեզու: | eng |
| Հրապարակվել է: |
Berlin : Springer,
2006
|
| Խորագրեր: |