FME 2003 Formal Methods
- Indbinding:
- Paperback
- Udgivet:
- 27. august 2003
- Størrelse:
- 154x50x233 mm.
- Vægt:
- 1395 g.
- 8-11 hverdage.
- 7. december 2024
På lager
Normalpris
Abonnementspris
- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
Beskrivelse af FME 2003 Formal Methods
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.
Brugerbedømmelser af FME 2003 Formal Methods
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen FME 2003 Formal Methods findes i følgende kategorier:
- Business og læring > Computer og IT
- Business og læring > Videnskab
- Kunst og kultur > Arkitektur og design
- Hobby og fritid > Sport
- Sprog og lingvistik
- Lægevidenskab og sygepleje
- Matematik og naturvidenskab
- Idræt og udendørsaktiviteter > Vandsport og motion
- Databehandling og informationsteknologi > Operativsystemer
- Databehandling og informationsteknologi > Programmering / softwareudvikling > Kompilatorer og fortolkere
- Databehandling og informationsteknologi > Programmering / softwareudvikling > Programmeringssprog og scriptsprog
- Databehandling og informationsteknologi > Programmering / softwareudvikling > Softwareudvikling
- Databehandling og informationsteknologi > Informatik > Matematisk datateori
- Databehandling og informationsteknologi > Informatik > Dataarkitektur og logisk design
© 2024 Pling BØGER Registered company number: DK43351621