Siirry suoraan sisältöön
  1. Kirjat
  2. Tietokirjallisuus
  3. Historia

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

23,20 €

ISBN
9781379252634
Kieli
englanti
Paino
222 grammaa
Julkaisupäivä
4.3.2018
Kustantaja
Palala Press
Sivumäärä
152