Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
FME 2003: Formal Methods - International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings (Paperback, 2003 ed.)
Loot Price: R3,163
Discovery Miles 31 630
|
|
FME 2003: Formal Methods - International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings (Paperback, 2003 ed.)
Series: Lecture Notes in Computer Science, 2805
Expected to ship within 10 - 15 working days
|
ThisvolumecontainstheproceedingsofFM2003,
the12thInternationalFormal Methods Europe Symposium which was held
in Pisa, Italy on September 8-14, 2003. Formal Methods Europe (FME,
www. fmeurope. org) is an independent - sociation which aims to
stimulate the use of and research on formal methods for system
development. FME conferences began with a VDM Europe symposium in
1987. Since then, the meetings have grown and have been held about
once - ery 18 months. Throughout the years the symposia have been
notably successful in bringing together researchers, tool
developers, vendors, and users, both from academia and from
industry. Unlike previous symposia in the series, FM 2003 was not
given a speci?c theme. Rather, its main goal could be synthesized
as "widening the scope. " Indeed, the organizers aimed at enlarging
the audience and impact of the symposium along several directions.
Dropping the su?x 'E' from the title of the conference re?ects the
wish to welcome participation and contribution from every country;
also,
contributionsfromoutsidethetraditionalFormalMethodscommunitywere
solicited. The recent innovation of including an Industrial Day as
an important part of the symposium shows the strong commitment to
involve industrial p- ple more and more within the Formal Methods
community. Even the traditional and rather fuzzy borderline between
"software engineering formal methods" and methods and formalisms
exploited in di?erent ?elds of engineering was so- what challenged.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.