Items related to Software Engineering and Formal Methods: 17th International...
Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings (Theoretical Computer Science and General Issues) - Softcover
Synopsis
This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.
The 27 full papers presented were carefully reviewed and selected from 89 submissions. 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. They are organized in the following topical sections: cooperative asynchronous systems; cyber-physical systems; feature-oriented and versioned systems; model-based testing; model inference; ontologies and machine learning; operating systems; program analysis; relating models and implementations; runtime verification; security; and verification.
"synopsis" may belong to another edition of this title.
Search results for Software Engineering and Formal Methods: 17th International...
Stock Image
Software Engineering and Formal Methods (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Questo č un articolo print on demand. Seller Inventory # d4aeeb04b1a8ef7f1ab2312ebde88048
Buy New
US$ 55.14
US$ 9.27 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Seller Image
Software Engineering and Formal Methods
Published by
Springer International Publishing Sep 2019, 2019
ISBN 10: 3030304450
ISBN 13: 9783030304454
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.The 27 full papers presented were carefully reviewed and selected from 89 submissions. The paperscover a large variety of topics, including testing, formalverification, program analysis, runtime verification, malware and attack detection,and software development and evolution and address a widerange of systems, such as cyber-physical systems, UAVs, autonomous robots,and feature-oriented and operating systems. They are organized in the following topical sections: cooperative asynchronous systems; cyber-physical systems; feature-oriented and versioned systems; model-based testing; model inference; ontologies and machine learning; operating systems; program analysis; relating models and implementations; runtime verification; security; and verification. 568 pp. Englisch. Seller Inventory # 9783030304454
Buy New
US$ 63.80
US$ 26.64 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Stock Image
Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18?20, 2019, Proceedings: 11724 (Theoretical Computer Science and General Issues)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 369450608
Buy New
US$ 93.28
US$ 8.80 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18?20, 2019, Proceedings: 11724 (Theoretical Computer Science and General Issues)
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND. Seller Inventory # 18376627621
Buy New
US$ 99.75
US$ 11.52 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 available
Seller Image
Software Engineering and Formal Methods
Published by
Springer International Publishing, 2019
ISBN 10: 3030304450
ISBN 13: 9783030304454
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.The 27 full papers presented were carefully reviewed and selected. Seller Inventory # 385699737
Buy New
US$ 57.70
US$ 56.74 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Software Engineering and Formal Methods: 17th International Conference, Sefm 2019, Oslo, Norway, September 18-20, 2019, Proceedings
Published by
Springer-Verlag New York Inc, 2019
ISBN 10: 3030304450
ISBN 13: 9783030304454
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 350 pages. 9.25x6.10x1.14 inches. In Stock. Seller Inventory # 3030304450
Buy New
US$ 97.91
US$ 16.92 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
Software Engineering and Formal Methods
Published by
Springer, Springer VS Sep 2019, 2019
ISBN 10: 3030304450
ISBN 13: 9783030304454
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 568 pp. Englisch. Seller Inventory # 9783030304454
Buy New
US$ 63.80
US$ 69.49 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18ż20, 2019, Proceedings
Published by
Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030304450
ISBN 13: 9783030304454
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.The 27 full papers presented were carefully reviewed and selected from 89 submissions. The paperscover a large variety of topics, including testing, formalverification, program analysis, runtime verification, malware and attack detection,and software development and evolution and address a widerange of systems, such as cyber-physical systems, UAVs, autonomous robots,and feature-oriented and operating systems. They are organized in the following topical sections: cooperative asynchronous systems; cyber-physical systems; feature-oriented and versioned systems; model-based testing; model inference; ontologies and machine learning; operating systems; program analysis; relating models and implementations; runtime verification; security; and verification. Seller Inventory # 9783030304454
Buy New
US$ 63.80
US$ 74.41 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Software Engineering and Formal Methods | 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Software Engineering and Formal Methods | 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings | Peter Csaba Ölveczky (u. a.) | Taschenbuch | xviii | Englisch | 2019 | Springer | EAN 9783030304454 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 117117608
Buy New
US$ 60.12
US$ 81.07 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 5 available