Formal methods and software engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings /
This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide rang...
Sparad:
| Institutionell upphovsman: | |
|---|---|
| Övriga upphovsmän: | , |
| Materialtyp: | E-bok |
| Språk: | English |
| Publicerad: |
Cham
Springer International Publishing
2014.
|
| Serie: | Lecture Notes in Computer Science
8829 |
| Ämnen: | |
| Länkar: | Click here to view the full text content |
| Taggar: |
Lägg till en tagg
Inga taggar, Lägg till första taggen!
|
Systemet under underhåll
Bibliotekssystemet är närvarande under underhåll.
Tillgänglighetsinformation kan inte visas för tillfället. Vi beklagar störningen. Kontakta oss om problemet kvarstår: