Del 9128 i serien Lecture Notes in Computer Science
Formal Methods for Industrial Critical Systems
20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Häftad, Engelska, 2015
719 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (10)
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015.The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.
Produktinformation
- Utgivningsdatum2015-05-27
- Mått155 x 235 x 13 mm
- Vikt359 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor213
- FörlagSpringer International Publishing AG
- ISBN9783319194578
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Modern Approaches for Intelligent Information and Database Systems
Andrzej Sieminski, Adrianna Kozierkiewicz, Manuel Nunez, Quang Thuy Ha
Häftad, 2019
2 229 kr
Del 14162
Computational Collective Intelligence
Ngoc Thanh Nguyen, János Botzheim, László Gulyás, Manuel Núñez, Jan Treur, Gottfried Vossen, Adrianna Kozierkiewicz
Häftad, 2023
1 779 kr
Del 1864
Advances in Computational Collective Intelligence
Ngoc Thanh Nguyen, János Botzheim, László Gulyás, Manuel Nunez, Jan Treur, Gottfried Vossen, Adrianna Kozierkiewicz
Häftad, 2023
1 679 kr
Del 2165
Advances in Computational Collective Intelligence
Ngoc-Than Nguyen, Bogdan Franczyk, André Ludwig, Manuel Nunez, Jan Treur, Gottfried Vossen, Adrianna Kozierkiewicz
Häftad, 2024
1 119 kr
Del 2166
Advances in Computational Collective Intelligence
Ngoc-Thanh Nguyen, Bogdan Franczyk, André Ludwig, Manuel Nunez, Jan Treur, Gottfried Vossen, Adrianna Kozierkiewicz
Häftad, 2024
1 259 kr
Del 14810
Computational Collective Intelligence
Ngoc Thanh Nguyen, Bogdan Franczyk, André Ludwig, Manuel Núñez, Jan Treur, Gottfried Vossen, Adrianna Kozierkiewicz
Häftad, 2024
1 119 kr
Hoppa över listan
Mer från samma serie
Agent Mediated Electronic Commerce II
Alexandros Moukas, Carles Sierra, Fredrik Ygge
Häftad, 2000
749 kr
Del 15427
Del 16375
Del 16376
Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries
Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki
Häftad, 2026
1 219 kr
Hoppa över listan
Du kanske också är intresserad av
- Nyhet
Formal Methods for Industrial Critical Systems
Peter Gorm Larsen, Kristin Yvonne Rozier
Häftad, 2026
989 kr
Del 8718
Del 13487
Del 11687
Formal Methods for Industrial Critical Systems
María Alpuente, Byron Cook, Christophe Joubert
Häftad, 2009
749 kr
Del 14290