FM 2015 - Bjørner Nikolaj
FM 2015 - Bjørner Nikolaj
- Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
EAN: 9783319192482
Marka
Symbol
525HKA03527KS
Rok wydania
2015
Strony
628
Oprawa
Miekka
Format
15.6x23.4cm
Redakcja
Bjørner Nikolaj
Język
angielski

Bez ryzyka
14 dni na łatwy zwrot

Szeroki asortyment
ponad milion pozycji

Niskie ceny i rabaty
nawet do 50% każdego dnia
Niepotwierdzona zakupem
Ocena: /5
Marka
Symbol
525HKA03527KS
Kod producenta
9783319192482
Rok wydania
2015
Strony
628
Oprawa
Miekka
Format
15.6x23.4cm
Redakcja
Bjørner Nikolaj
Język
angielski

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
EAN: 9783319192482
EAN: 9783319192482
Niepotwierdzona zakupem
Ocena: /5
Zapytaj o produkt
Niepotwierdzona zakupem
Ocena: /5
Napisz swoją opinię