 |
 |
|
|
 |
|
|
|
1 - 8 von 8
|
|
 |
Ihre Aktion |
Suchen (Schlagwörter GND (Phrase) (XSP)) verifizierbarkeit
eingrenzen (Basisklassifikation (XBKL)) 54.23
|
|
|
|
|
 |
1. |
Formal methods in computer-aided design : third international conference, Austin, TX, USA, November 1 - 3, 2000 ; proceedings
Hunt, Warren A.. - Berlin : Springer, 2000
|
|
|
|
2. |
Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4 - 6, 1998; proceedings
Gopalakrishnan, Ganesh. - Berlin : Springer, 1998
|
|
|
 |
3. |
Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings
Srivas, Mandayam. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1996
|
|
|
|
4. |
Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996 ; proceedings
Srivas, Mandayam. - Online-Ausg.. - Berlin [u.a.] : Springer, 1996
|
|
|
|
5. |
Formal methods in computer-aided design : First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996; proceedings
Srivas, Mandayam. - Berlin [u.a.] : Springer, 1996
|
|
|
|
6. |
Computer Aided Verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
Bochmann, Gregor von. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1993
|
|
|
|
7. |
Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992 ; proceedings
Bochmann, Gregor von. - Online-Ausg.. - Berlin [u.a.] : Springer, 1993
|
|
|
|
8. |
Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992 ; proceedings
Bochmann, Gregor von. - Berlin : Springer, 1993
|
|
|
|
