Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I - neues Buch
2012, ISBN: 9783642340260
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Val… Mehr…
hive.co.uk No. 9783642340260. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2012, ISBN: 9783642340260
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Val… Mehr…
Springer.com Nr. 978-3-642-34026-0. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
2012, ISBN: 9783642340260
Leveraging Applications of Formal Methods Verification and Validation - 5th International Symposium ISoLA 2012 Heraklion Crete Greece October 15-18 2012 Proceedings Part I: ab 53.49 € eBo… Mehr…
eBook.de Versandkosten:in stock, , , DE. (EUR 0.00) Details... |
2012, ISBN: 9783642340260
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berli… Mehr…
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 9.95) Details... |
Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I - neues Buch
2012, ISBN: 9783642340260
; EPUB; Computing > Operating systems, Elsevier Health Sciences APAC
hive.co.uk No. 9783642340260. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I - neues Buch
2012, ISBN: 9783642340260
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Val… Mehr…
2012, ISBN: 9783642340260
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Val… Mehr…
2012
ISBN: 9783642340260
Leveraging Applications of Formal Methods Verification and Validation - 5th International Symposium ISoLA 2012 Heraklion Crete Greece October 15-18 2012 Proceedings Part I: ab 53.49 € eBo… Mehr…
2012, ISBN: 9783642340260
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berli… Mehr…
Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I - neues Buch
2012, ISBN: 9783642340260
; EPUB; Computing > Operating systems, Elsevier Health Sciences APAC
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Leveraging Applications of Formal Methods, Verification and Validation
EAN (ISBN-13): 9783642340260
Erscheinungsjahr: 2012
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-04-18T23:18:37+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-12-02T20:43:09+01:00 (Vienna)
ISBN/EAN: 9783642340260
ISBN - alternative Schreibweisen:
978-3-642-34026-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: validation, heraklion, leveraging
Daten vom Verlag:
Autor/in: Tiziana Margaria; Bernhard Steffen
Titel: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Verlag: Springer; Springer Berlin
617 Seiten
Erscheinungsjahr: 2012-09-26
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XVI, 617 p. 170 illus.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; automata; concurrent programs; model checking; scientific workflows; software product lines; C; Software Engineering; Compilers and Interpreters; Operating Systems; Theory of Computation; Computer Science Logic and Foundations of Programming; Artificial Intelligence; Computer Science; Compiler und Übersetzer; Betriebssysteme; Theoretische Informatik; Künstliche Intelligenz; BC
The two volumes contain papers presented in the topical sections on adaptable and evolving software for eternal systems, approaches for mastering change, runtime verification: the application perspective, model-based testing and model inference, learning techniques for software verification and validation, LearnLib tutorial: from finite automata to register interface programs, RERS grey-box challenge 2012, Linux driver verification, bioscientific data processing and modeling, process and data integration in the networked healthcare, timing constraints: theory meets practice, formal methods for the developent and certification of X-by-wire control systems, quantitative modelling and analysis, software aspects of robotic systems, process-oriented geoinformation systems and applications, handling heterogeneity in formal development of HW and SW Systems.Fast track conference proceedings Unique visibility State of the art research
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030837228 Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Fo (Tiziana Margaria; Bernhard Steffen)
- 9783030837228 Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Fo (Tiziana Margaria; Bernhard Steffen)
- 9783642165573 Leveraging Applications of Formal Methods, Verification, and Validation (Margaria, Tiziana|Steffen, Bernhard)
- 9783642165603 Leveraging Applications of Formal Methods, Verification, and Validation (Tiziana Margaria)
< zum Archiv...