A Survey of Verification Techniques for Parallel Programs
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Howard Barringer
Themen in »A Survey of Verification Techniques for Parallel Programs«
Ada Programs development network networks proof techniques verification
Stimmen zu »A Survey of Verification Techniques for Parallel Programs«
Details
ISBN: 9783540394167
Verlag: Springer Berlin
Erscheinung: 01.07.2005