Formal methods and software engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin u.a.
Springer
2003
|
| Schriftenreihe: | Lecture notes in computer science
2885 |
| Schlagworte: |
Formal methods (Computer science)
> Software engineering
> Leistungsbewertung
> Web Services
> Model Checking
> Softwarespezifikation
> Programmanalyse
> Formale Methode
> Serviceorientierte Architektur
> Verifikation
> Softwareentwicklung
> Entscheidungsverfahren
> Softwaretest
> Programmverifikation
> Konferenzschrift
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | XI, 681 S. |
|---|---|
| ISBN: | 354020461X 3-540-20461-X |