Gå direkt till innehållet
A Survey of Verification Techniques for Parallel Programs
Spara

A Survey of Verification Techniques for Parallel Programs

Författare
Howard Barringer
Upplaga
1985 ed.
ISBN
9783540152392
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
1985-05-01
Sidor
120