Ihr Link zur Ex Libris-Reader-App
Geben Sie Ihre E-Mail-Adresse oder Handynummer ein und Sie erhalten einen direkten Link, um die kostenlose Reader-App herunterzuladen.
Die Ex Libris-Reader-App ist für iOS und Android erhältlich. Weitere Informationen zu unseren Apps finden Sie hier.
Formal Methods and Software Engineering
- E-Book (pdf)
- 436 Seiten
- Download steht sofort bereit
- Informationen zu E-Books
- E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
E-Book (pdf)
Beschreibung
This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.
Produktinformationen
| Titel: | Formal Methods and Software Engineering |
| Untertitel: | 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings |
| Editor: | |
| EAN: | 9783319254234 |
| Digitaler Kopierschutz: | Wasserzeichen |
| Format: | E-Book (pdf) |
| Hersteller: | Springer-Verlag GmbH |
| Genre: | IT & Internet |
| Anzahl Seiten: | 436 |
| Veröffentlichung: | 30.11.2015 |
| Dateigrösse: | 25.3 MB |
Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"
-
Human Relations: Interpersonal Job-Oriented Skills...
Andrew J. Dubrin
E-Books English
-
Gizi Map China South, Regional Geographical Map
English Book
-
Native North Americans in Literature for Youth
Alice Crosetto, Rajinder Garcha
E-Books English
-
20%
Dissoziative Bewusstseinsstörungen
Bücher Deutsch
-
20%
BABADADA, Thai (in thai script) - Schwiizerdütsch ...
Babadada Gmbh
Bücher Deutsch
-
The Myth of the Perfect Girl
Ana Homayoun
E-Books English
-
20%
Wie erfolgreich ist die Föderalismusreform II?
Badir Bayramov
Bücher Deutsch
-
Memoirs of Ralph Vansittart
Edward Robert Cameron
English Book
-
20%
BABADADA, Cymraeg - Deutsch mit Artikeln, geiriadu...
Babadada Gmbh
Bücher Deutsch
-
20%
BABADADA, Tswana - Schwiizerdütsch mit Artikeln, b...
Babadada Gmbh
Bücher Deutsch
