th This volumecontains the proceedingsof the 9 internationalconference onV- i?cation, Model Checking, and Abstract Interpretation (VMCAI 2008), held in San Francisco, January 7-9, 2008. The purpose of VMCAI is to provide a forum for researchers from three communities-Veri?cation, Model Checking, and - stractInterpretation-thatwill facilitate interaction,cross-fertilization,andthe advance of hybridmethods that combine the three areas.With the grow...
De Verification, Model Checking, and Abstract Interpretation is een populaire optie voor Programmeren. Esy heeft 1 prijs gevonden, de goedkoopste keuze is volgens ons Bol, maar bekijk de andere aanbieders om het zeker te weten. Links openen in een nieuwe tabblad. Bekijk hier onder de product specificaties. Meer product informatie beschikbaar bij Bol.
Verification, Model Checking, and Abstract Interpretation is onder andere te koop bij: Bol. Esy raadt altijd aan om meerdere aanbieders te bekijken om geen last minute deals mis te lopen.