Siirry suoraan sisältöön
  1. Kirjat
  2. Englanninkieliset kirjat

Verification of Sequential and Concurrent Programs

126,40 €

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs.

Esipuheen kirjoittaja
Pnueli Amir
Painos
3
ISBN
9781848827448
Kieli
englanti
Paino
518 grammaa
Julkaisupäivä
5.10.2009
Kustantaja
Springer London
Sivumäärä
502