ISBN: 9783319955810 - formal methods: 22nd international symposium, fm 2018, held as part of the federated logic conference, floc 2018, oxford, uk, july 15-17, 2018, ... and software engineering, band 10951) (12 Ergebnisse)

Zustand: New. In English.

Zustand: New. 1st ed. 2018 edition NO-PA16APR2015-KAP.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 22nd InternationalSymposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.The 44 full papers presented together with 2 invited papers were carefullyreviewed and selected from 110 submissions. They presentformal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations.…

Taschenbuch. Zustand: Neu. Formal Methods | 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings | Klaus Havelund (u. a.) | Taschenbuch | xiv | Englisch | 2018 | Springer | EAN 9783319955810 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Paperback. Zustand: Brand New. 800 pages. 9.25x6.10x1.69 inches. In Stock.

Zustand: new. Questo è un articolo print on demand.

PF. Zustand: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 22nd InternationalSymposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.The 44 full papers presented together with 2 invited papers were carefullyreviewed and selected from 110 submissions. They presentformal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations. 708 pp. Englisch.…

Kartoniert / Broschiert. Zustand: 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 22nd International&nbspSymposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.The 44 full papers presented together with 2 invited papers were carefully&nb.…

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 708 pp. Englisch. …

Zustand: New. Print on Demand.

Zustand: New. PRINT ON DEMAND.