Automated Technology for Verification and Analysis
8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
AvWei-Ngan Chin,Ahmed Bouajjani
E-bok
PDF, Engelska, 2010708 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 14777
Del 10321
Formal Techniques for Distributed Objects, Components, and Systems
Ahmed Bouajjani, Alexandra Silva
Häftad, 2017
561 kr
Automated Technology for Verification and Analysis
Zhilin Wu, Lukas Holik, Ahmed Bouajjani
E-bok
20221 031 kr