2013, ISBN: 9783642410109
18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings, eBooks, eBook Download (PDF), This book constitutes the thoroughly refereed conference proceedi… Mehr…
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
2013, ISBN: 9783642410109
This book constitutes the thoroughly refereed conference proceedings of the 18th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2013, held in Madrid, Spai… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
2013, ISBN: 9783642410109
This book constitutes the thoroughly refereed conference proceedings of the 18th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2013, held in Madrid, Spai… Mehr…
ebooks.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2013, ISBN: 9783642410109
18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2013
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
Formal Methods for Industrial Critical Systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings - neues Buch
2013, ISBN: 9783642410109
; PDF; Computing > Computer programming / software development > Software Engineering, Cuento de Luz
hive.co.uk No. 9783642410109. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2013, ISBN: 9783642410109
18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings, eBooks, eBook Download (PDF), This book constitutes the thoroughly refereed conference proceedi… Mehr…
2013, ISBN: 9783642410109
This book constitutes the thoroughly refereed conference proceedings of the 18th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2013, held in Madrid, Spai… Mehr…
2013
ISBN: 9783642410109
This book constitutes the thoroughly refereed conference proceedings of the 18th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2013, held in Madrid, Spai… Mehr…
2013, ISBN: 9783642410109
18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2013
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Formal Methods for Industrial Critical Systems
EAN (ISBN-13): 9783642410109
Erscheinungsjahr: 2013
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-04-18T21:52:08+02:00 (Vienna)
Detailseite zuletzt geändert am 2021-10-18T13:19:44+02:00 (Vienna)
ISBN/EAN: 9783642410109
ISBN - alternative Schreibweisen:
978-3-642-41010-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: spain madrid
Daten vom Verlag:
Autor/in: Michael Dierkes; Charles Pecheur
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Formal Methods for Industrial Critical Systems - 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings
Verlag: Springer; Springer Berlin
199 Seiten
Erscheinungsjahr: 2013-09-16
Berlin; Heidelberg; DE
Sprache: Englisch
48,14 € (DE)
49,50 € (AT)
54,50 CHF (CH)
Available
XIV, 199 p. 46 illus.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; FPGA; PRISM; probabilistic model checking; program verification; timed petri nets; C; Software Engineering; Computer Science Logic and Foundations of Programming; Special Purpose and Application-Based Systems; Formal Languages and Automata Theory; Theory of Computation; Computer Science; Theoretische Informatik; Wissensbasierte Systeme, Expertensysteme; BC
This book constitutes the thoroughly refereed conference proceedings of the 18th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2013, held in Madrid, Spain, in September 2013. The 13 papers presented were carefully selected from 25 submissions and cover topics such as design, specification, code generation and testing based on formal methods, methods, techniques and tools to support automated analysis, certification, debugging, learning, optimization and transformation of complex, distributed, dependable, real-time systems and embedded systems, verification and validation methods, tools for the development of formal design descriptions, case studies and experience reports on industrial applications of formal methods, impact of the adoption of formal methods on the development process and associated costs, application of formal methods in standardization and industrial forums.Fast conference proceedings State-of-the-art report Up to date results
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030002435 Formal Methods for Industrial Critical Systems (Falk Howar; Ji?í Barnat)
- 9783030002435 Formal Methods for Industrial Critical Systems (Falk Howar; Ji?í Barnat)
- 9781118459898 Formal Methods for Industrial Critical Systems A Survey of Applications (Gnesi, Stefania; Margaria, Tiziana)
- 9780470876183 Formal Methods for Industrial Critical Systems ? A Survey of Applications (S Gnesi)
- 9781118459867 Formal Methods for Industrial Critical Systems (Stefania Gnesi#Tiziana Margaria)
- 9781118459874 Formal Methods for Industrial Critical Systems (Stefania Gnesi/ Tiziana Margaria)
< zum Archiv...