SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Formal Methods and Software Engineering - 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 502 sivua
Asu: Pehmeäkantinen kirja
Painos: 2005 ed.
Julkaisuvuosi: 2005, 27.10.2005 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 November 2005, Manchester, UK. Formal engineering methods are changing the way that systems are dev- oped. With language and tool support, these methods are being used for se- automatic code generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: requirements,speci?cation,design,implementation,testing,anddocumentation. The aim of ICFEM 2005 was to bring together those interested in the - plication of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, were encouraged to - tend, and to help advance the state of the art. The conference was supported by sponsorships from Microsoft Research, USA, the Software Engineers Association of Japan, the University of Man- ester, Manchester City Council, FormalMethods Europe (FME) and the British Computer Society FormalAspects ofComputing Specialist Group(BCS-FACS). We wish to thank these sponsors for their generosity. The ?nal programme consisted of 3 invited talks and 30 technical papers selected from a total of 74 submissions.
The invited speakers were: Anthony Hall, independent consultant, UK; Egon B.. orger, University of Pisa, Italy; John Rushby, SRI, USA. Their talks were sponsored by BCS-FACS, Microsoft - search and FME respectively. We wish to thank the invited speakers for their inspiring talks.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Formal Methods and Software Engineering - 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UKzoom
Näytä kaikki tuotetiedot
ISBN:
9783540297970
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste