Tools and Algorithms for the Construction and Analysis of Systems
Jens Palsberg, Holger Hermanns
E-bok
2006708 kr
Static Analysis
7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings
E-bok
PDF, Engelska, 2004708 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
Tools and Algorithms for the Construction and Analysis of Systems
Holger Hermanns, Jens Palsberg
Häftad, 2006
564 kr
Del 14564
Principles and Practices of Building Parallel Software
Rajkishore Barik, Rajiv Gupta, Jens Palsberg
Häftad, 2025
1 121 kr
Del 10747
Verification, Model Checking, and Abstract Interpretation
Isil Dillig, Jens Palsberg
Häftad, 2018
564 kr
Principles and Practices of Building Parallel Software
Jens Palsberg, Rajiv Gupta, Rajkishore Barik
E-bok
20251 408 kr