Software Engineering and Formal Methods
17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Häftad, Engelska, 2019
709 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware and attack detection,and software development and evolution and address a wide range of systems, such as cyber-physical systems, UAVs, autonomous robots, and feature-oriented and operating systems.
Produktinformation
- Utgivningsdatum2019-09-02
- Mått155 x 235 x 31 mm
- Vikt850 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor550
- FörlagSpringer Nature Switzerland AG
- ISBN9783030304454
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 12819
Theoretical Aspects of Computing – ICTAC 2021
Antonio Cerone, Peter Csaba Ölveczky, Peter Csaba Olveczky
Häftad
1 059 kr
Del 9539
Formal Aspects of Component Software
Christiano Braga, Peter Csaba Ölveczky, Peter Csaba Olveczky
Häftad
689 kr
Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky, Peter Csaba Olveczky
Häftad
709 kr
Del 9200
Logic, Rewriting, and Concurrency
Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott, Narciso Marti-Oliet, Peter Csaba Olveczky
Häftad
689 kr
Formal Aspects of Component Software
Farhad Arbab, Peter Csaba Ölveczky, Peter Csaba Olveczky
Häftad
709 kr
Del 11176
Software Technologies: Applications and Foundations
Manuel Mazzara, Iulian Ober, Gwen Salaün, Gwen Salaun
Häftad
709 kr
Formal Aspects of Component Software
Corina S Pasareanu, Gwen Salaün, Gwen Salaun, Corina S. Pasareanu
Häftad
649 kr
Del 13077