Verification, Model Checking, and Abstract InterpretationIsabella Mastroeni, Josh Berdine, Roberto Giacobazzi E-bok2013732 kr
Analysis, Verification and Transformation for Declarative Programming and Intelligent SystemsRoberto Giacobazzi, John P. Gallagher, Pedro Lopez-Garcia E-bok20231 780 kr
Del 13160Analysis, Verification and Transformation for Declarative Programming and Intelligent SystemsPedro Lopez-Garcia, John P. Gallagher, Roberto GiacobazziHäftad, 20231 460 kr
Verification, Model Checking, and Abstract InterpretationRoberto Giacobazzi, Josh Berdine, Isabella MastroeniHäftad, 2013566 kr
-17%Om att misslyckasPeter EnglundInbunden, 20264,0 utav 5 stjärnor. Totalt antal röster:(9)199 kr239 kr