Gå direkt till innehållet
  1. Böcker
  2. Böcker på engelska

Verification of Sequential and Concurrent Programs

1 228 kr
Lägsta pris på PriceRunner

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

Förordsförfattare
Pnueli Amir
Upplaga
3
ISBN
9781848827448
Språk
engelska
Vikt
518 gram
Utgivningsdatum
2009-10-05
Sidor
502