Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Programming and Software Engineering)
ISBN 10: 3319955810 ISBN 13: 9783319955810
Editore: Springer, 2018
Nuovi
Brossura
Da
Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 25 marzo 2015
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
In. Codice articolo ria9783319955810_new
Riassunto:
This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.
The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal 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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Formal Methods: 22nd International Symposium...
Casa editrice: Springer
Data di pubblicazione: 2018
Legatura: Brossura
Condizione: New
I migliori risultati di ricerca su AbeBooks
Immagini fornite dal venditore
Formal Methods
Editore:
Springer International Publishing, 2018
ISBN 10: 3319955810
ISBN 13: 9783319955810
Nuovo
Brossura
Da: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: 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 Symposium 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. Codice articolo 231670860
Compra nuovo
EUR 83,50
Spese di spedizione:
EUR 48,99
Da: Germania a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Programming and Software Engineering)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020113366
Compra nuovo
EUR 94,64
Spese di spedizione:
EUR 3,43
In U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Methods
Editore:
Springer International Publishing Jul 2018, 2018
ISBN 10: 3319955810
ISBN 13: 9783319955810
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783319955810
Compra nuovo
EUR 96,29
Spese di spedizione:
EUR 23,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Formal Methods
ISBN 10: 3319955810
ISBN 13: 9783319955810
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. 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 GmbH, Tiergartenstr. 17, 69121 Heidelberg 708 pp. Englisch. Codice articolo 9783319955810
Compra nuovo
EUR 96,29
Spese di spedizione:
EUR 60,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
ISBN 10: 3319955810
ISBN 13: 9783319955810
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783319955810
Compra nuovo
EUR 96,29
Spese di spedizione:
EUR 65,27
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-IUK-9783319955810
Compra nuovo
EUR 99,90
Spese di spedizione:
EUR 17,72
Da: Regno Unito a: U.S.A.
Quantità: 10 disponibili
Foto dell'editore
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Programming and Software Engineering)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. 1st ed. 2018 edition NO-PA16APR2015-KAP. Codice articolo 26376474517
Compra nuovo
EUR 135,10
Spese di spedizione:
EUR 3,43
In U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Programming and Software Engineering)
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand. Codice articolo 369570890
Compra nuovo
EUR 140,54
Spese di spedizione:
EUR 7,44
Da: Regno Unito a: U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Programming and Software Engineering)
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. PRINT ON DEMAND. Codice articolo 18376474527
Compra nuovo
EUR 144,37
Spese di spedizione:
EUR 9,95
Da: Germania a: U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Lecture Notes in Computer Science)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 800 pages. 9.25x6.10x1.69 inches. In Stock. Codice articolo x-3319955810
Compra nuovo
EUR 145,09
Spese di spedizione:
EUR 14,30
Da: Regno Unito a: U.S.A.
Quantità: 2 disponibili