1st South-East European Workshop on Formal Methods SEEFM03
Gespeichert in:
| Körperschaften: | , |
|---|---|
| Weitere Verfasser: | , |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Thessaloniki
South-East European Research Centre
2004
|
| Schlagworte: | |
| Online Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | "Satellite event of the 1st Balkan Conference on Informatics (Thessaloniki, 21-23 November 2003)" - Vorwort Thema der Konferenz: Agile formal methods: practical, rigorous methods for a changing world Datum und Ort der Konferenz: 20. November 2003 in Thessaloniki, Griechenland Literaturangaben |
|---|---|
| Beschreibung: | 202 Seiten Illustrationen |
| ISBN: | 9608786916 960-87869-1-6 |