Correct-Program-TechnologyExtensibility-of-Verifiers-Two-Papers-on-Program-Verification-Classic-Reprint 11,80 EUR*

Details

  • Kategorie: Diverse Bücher
  • Preis: 11,80 EUR*
  • Lieferzeit: Gewöhnlich versandfertig in 24 Stunden
  • Marke: Forgotten Books
  • EAN: 9781332116775
  • Händler: Amazon.de
    Amazon.de
Zum Angebot Excerpt from Correct-Program Technology/Extensibility of Verifiers: Two Papers on Program VerificationIn our approach then, correct praas can be used to generate new correct praas, in much the same way as new correct algebraic or logical formulae can ...