
EAN: 9783319478456

Bilder-Quelle: discount24.de - Sport-Freizeit
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods ICFEM 2016 held in Tokyo Japan in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods such as verification and validation software engineering formal specification and modeling software security and software reliability.
Produktinformationen zuletzt aktualisiert am
04.04.2025 um 11:26 Uhr
04.04.2025 um 11:26 Uhr
Hersteller
-
EAN
9783319478456
MPN
-
ASIN
3319478451
Produktgruppe
-

Produktzustand:
Verfügbarkeit:
Versandkosten:
Sonderpreis:

Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>
Letzte EAN Aktualisierungen:
9783319333977 - The Short-Run Approach to Long-Run Equilibrium in ...9783910298064 - Figures of Absence The Films of DORE O Kartoniert ...
9783110186031 - Catching Language Gebunden...
9783319710747 - Security Protocols XXV Kartoniert (TB)...
9783031229053 - Fusions Promise - Matthew Moynihan Alfred B Bortz ...
9783030014605 - Symposium on Real-Time and Hybrid Systems Kartonie...
9783031798146 - Synthesis Lectures on Digital Circuits & Systems ...
9783319854830 - Constraint Theory - George J Friedman Phan Phan Ka...
9783319098098 - The Mathematics of Elections and Voting - WD Walli...
9780128053423 - The UX Book - Rex Hartson Pardha S Pyla Kartoniert...
9783319011943 - Mathematical Physics - Sadri Hassani Gebunden...
9789811067402 - SpringerBriefs in Education Open and Distance No...
kürzlich hinzugefügt:
9783030014605 - Symposium on Real-Time and Hybrid Systems Kartonie...9783319399713 - Computational Autism - Boris Galitsky Gebunden...
9783319011943 - Mathematical Physics - Sadri Hassani Gebunden...
9783540208037 - Verification Model Checking and Abstract Interpret...
9783030026189 - The Innovation in Computing Companion - Gerard ORe...
9783319234694 - The Teaching and Learning of Statistics Gebunden...
9783319307336 - Theory and Practice of Formal Methods Kartoniert (...
9781493950263 - Undergraduate Texts in Mathematics Understanding...
9783319710747 - Security Protocols XXV Kartoniert (TB)...
9783662638811 - Regression - Ludwig Fahrmeir Thomas Kneib Stefan L...
9780128053423 - The UX Book - Rex Hartson Pardha S Pyla Kartoniert...
9783110625004 - Digital Processing of Random Oscillations - Viache...