Formal methods and software engineering: 5th International Conference on Formal Engineering Methods, Singapore, November 5-7, 2003 ; proceedings

Medientyp: Buch; Konferenzbericht

Titel: Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, Singapore, November 5-7, 2003 ; proceedings

Beteiligte: Dong, Jin Song [Herausgeber:in]

Veranstaltung: International Conference on Formal Engineering Methods

Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2003

Umfang: XI, 681 S.; graph. Darst

Sprache: Deutsch; Englisch

ISBN: 354020461X

RVK-Notation: SS 4800 : Lecture notes in computer science

Schlagwörter: Softwareentwicklung > Formale Methode
Softwarespezifikation > Formale Methode
Softwareentwicklung > Verifikation > Formale Methode
Softwaretest > Formale Methode
Softwareentwicklung > Formale Methode
Softwarespezifikation > Formale Methode
Softwareentwicklung > Verifikation > Formale Methode
Software > Testen > Formale Methode

Entstehung:

Anmerkungen:

Weitere Bestandsnachweise
0 : Lecture notes in computer science

Formal methods and software engineering

Merkliste

Exemplare

Bereichsbibliothek DrePunct – Magazin

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Bereichsbibliothek DrePunct – Magazin