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
279 kr
Lägsta pris på PriceRunner

ISBN
9781379252634
Språk
engelska
Vikt
222 gram
Utgivningsdatum
2018-03-04
Sidor
152