ENGLISH

A Survey of Verification Techniques for Parallel Programs

By Howard Barringer (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1985
ISBN
3540152393, 9783540152392
DOI
10.1007/3-540-15239-3
Open Library ID
OL15275075M
Language
english
Format
DJVU
Filesize
781 kB (799880 bytes)
Series
Lecture Notes in Computer Science 191
Edition
1
Pages
120\120
Library
Kolxo3
DPI
300
Time added
2011-07-22 07:35:22
CompilersInterpretersSoftware Engineering; Programming Languages

Similar books