FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings - Programming and Software Engineering - Nikolaj Bjorner - Bøger - Springer International Publishing AG - 9783319192482 - 2. juni 2015
Ved uoverensstemmelse mellem cover og titel gælder titel

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings - Programming and Software Engineering 2015 edition

Pris
A$ 106,86

Bestilles fra fjernlager

Forventes klar til forsendelse 5. - 11. dec.
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller

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.


610 pages, 156 black & white illustrations, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 2. juni 2015
ISBN13 9783319192482
Forlag Springer International Publishing AG
Antal sider 610
Mål 155 × 235 × 32 mm   ·   9,36 kg
Sprog Fransk  
Klipper/redaktør Bjørner, Nikolaj
Klipper/redaktør De Boer, Frank

Vis alle

Mere med Nikolaj Bjorner