10% OFF

Software Engineering And Formal Methods

17th International Conference, Sefm 2019, Oslo, Norway, September 18–20, 2019, Proceedings

language: english
Publisher: Springer Nature Switzerland AG, September of 2019 ‧
60,82€
10% OFF CARD
free shipping
Sell ​​your book
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.

Software Engineering And Formal Methods

17th International Conference, Sefm 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Property Description
ISBN: 9783030304454
Publisher: Springer Nature Switzerland AG
Release Date: September of 2019
Language: English
Dimensions: 155 x 235 x 20 mm
Cover: Softcover
Pages: 550
Format: Book
Collection: Lecture Notes In Computer Science
Categories: Books in English > Computing > Schedule
EAN: 9783030304454

BOOKS FROM THE SAME COLLECTION