Gå direkt till innehållet
  1. Böcker
  2. Facklitteratur
  3. Historia

Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz

engelska
23,20 €

ISBN
9781379252634
Språk
engelska
Vikt
222 gram
Utgivningsdatum
4.3.2018
Sidor
152