Leveraging applications of formal methods: first international symposium, ISoLA 2004, Paphos, Cyprus… - SLUB Dresden

Media type: Book; Conference Proceedings

Title: Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 ; revised selected papers

Contributor: Margaria, Tiziana [Other]; Steffen, Bernhard [Other]; Margaria-Steffen, Tiziana [Editor]

Event: ISoLA

Published: Berlin; Heidelberg [u.a.]: Springer, 2006

Extent: VIII, 196 S.; Ill., graph. Darst; 235 mm x 155 mm

Language: English

ISBN: 9783540489283; 3540489282

Publisher, production or purchase order numbers: Sonstige Nummer: 11925040

RVK notation: SS 4800 : Lecture notes in computer science

Keywords: Softwareentwicklung > Formale Methode
Programmanalyse > Formale Methode
Programmverifikation > Formale Methode
Systementwurf > Systemanalyse > Verifikation > Formale Methode
Softwareentwicklung > Formale Methode
Programmanalyse > Formale Methode
Programmverifikation > Formale Methode
Systementwurf > Systemanalyse > Verifikation > Formale Methode

Origination:

Footnote: Literaturangaben

Leveraging applications of formal methods

Bookmarks

copies

Departmental Library DrePunct – stack

Search in field:

Recently searched for:

Departmental Library DrePunct – stack