FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings - Lecture Notes in Computer Science - Nikolaj Bjorner - Boeken - Springer International Publishing AG - 9783319192482 - 2 juni 2015
Indien omslag en titel niet overeenkomen, is de titel correct

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings - Lecture Notes in Computer Science 2015 edition

Prijs
€ 52,49

Besteld in een afgelegen magazijn

Verwachte levering 25 dec. - 2 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Voeg toe aan uw iMusic-verlanglijst
of

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

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 2 juni 2015
ISBN13 9783319192482
Uitgevers Springer International Publishing AG
Pagina's 610
Afmetingen 155 × 235 × 32 mm   ·   9,36 kg
Taal en grammatica Frans  
Uitgever Bjørner, Nikolaj
Uitgever De Boer, Frank

Meer door Nikolaj Bjorner

Alles tonen