טוען...
Computer aided verification 19th international conference, CAV 2007, Berlin, Germany, 2007 : proceedings /
This volume contains the proceedings of the International Conference on C- puter Aided Veri?cation (CAV), held in Berlin, Germany, July 3–7, 2007. CAV 2007 was the 19th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for...
שמור ב:
| Main Authors: | , , |
|---|---|
| פורמט: | Livro |
| שפה: | Inglês |
| יצא לאור: |
Springer,
2007.
|
| סדרה: | Lecture notes in computer science |
| נושאים: | |
| גישה מקוונת: | https://minerva.ufrj.br/F/?func=direct&doc_number=000902140&local_base=UFR01 |
| תגים: |
הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|