Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8 - 12, 2004 ; proceedings
Gespeichert in:
Format: | Elektronisch Tagungsbericht E-Book |
---|---|
Sprache: | English |
Veröffentlicht: |
Berlin u.a.
Springer
2004
|
Schriftenreihe: | Lecture Notes in Computer Science
3308 |
Schlagworte: | |
Online-Zugang: | DE-91 DE-384 DE-19 DE-739 Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Search Result 1