Del 9581
Distributed Computing and Internet Technology
Nikolaj Bjorner, Sanjiva Prasad, Laxmi Parida
Häftad, 2015
539 kr
FM 2015: Formal Methods
20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
AvFrank de Boer,Nikolaj Bjorner
E-bok
PDF, Engelska, 2015714 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
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.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Distributed Computing and Internet Technology
Laxmi Parida, Sanjiva Prasad, Nikolaj Bjorner
E-bok
2016635 kr
Perspectives of System Informatics
Andrei Voronkov, Irina Virbitskaite, Nikolaj Bjorner
E-bok
2019708 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Andrei Voronkov, Nikolaj Bjorner
E-bok
2012708 kr
Del 54
Concurrency Verification
Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
Häftad, 2012
1 063 kr