FM '99 - formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 - 24, 1999 ; proceedings 1
Gespeichert in:
Körperschaft: | |
---|---|
Weitere Verfasser: | |
Format: | UnknownFormat |
Sprache: | eng |
Veröffentlicht: |
Berlin u.a.
Springer
1999
|
Schriftenreihe: | Lecture notes in computer science
1708 |
Schlagworte: | |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Alle Bände/Ausgaben auflisten