Mein Konto
Erweiterte Suche
Categories

Grid   List

  1. Formal Verification of Just-in-Time Compilation
    Formal Verification of Just-in-Time Compilation
    Aurèle Barrière
    Association for Computing Machinery
    Taschenbuch
    BOD - 5 Tage

    This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Tim...

    67,40 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal Verification of Just-in-Time Compilation
    Formal Verification of Just-in-Time Compilation
    Aurèle Barrière
    Association for Computing Machinery
    Buch
    BOD - 7 Tage

    This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Tim...

    85,00 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1