FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings - Paperback - 2015
Resumo
Year of publication: 2015
Pagination: 610 pages, 156 black & white illustrations, biography
Format: Paperback
Serie: Lecture Notes in Computer Science
Editor: Nikolaj Bjorner, Frank de Boer
FM 2015: Formal Methods - 20th International Symposium,...
Resumo
Year of publication: 2015
Pagination: 610 pages, 156 black & white illustrations, biography
Format: Paperback
Serie: Lecture Notes in Computer Science
Editor: Nikolaj Bjorner, Frank de Boer
Publicidade
Avaliações dos nossos clientes
FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings - Paperback - 2015
Sê o primeiro a dar
a tua opinião sobre este produto
Características
- Editora
-
Springer International Publishing AG
- Dimensão
-
235 x 155 x 32
- Peso
-
949
- Tema
-
Software Engineering|Mathematical theory of computation|User interface design & usability|Information architecture
- Origem
-
Switzerland
- EAN
-
9783319192482
Publicidade
Publicidade