Summary goes here
Tallennettuna:
| Aineistotyyppi: | Kirja |
|---|---|
| Kieli: | englanti |
| Aiheet: | |
| Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 5067bd03-9e4e-47a2-93ed-552e4271fa00 |
| isbn | 9783540394167 3540394168 |
| issn | |
| language | eng |
| physical | 1 online resource (vi, 114 pages) |
| publication | – publisher: SpringerVerlag dateOfPublication: ©1985 |
| publishDate | ©1985 |
| subjects | |
| title | A survey of verification techniques for parallel programs / Howard Barringer. |
| topic | Parallel processing (Electronic computers) Parallel programs (Computer programs) Parallélisme (Informatique) Logiciels Programmes parallèles (Logiciels) Parallel processing (Electronic computers) Parallel programs (Computer programs) Parallelverarbeitung Programmierung Verifikation Programmverifikation Parallel programming (Computer science) Electronic Data Processing data processing. computer science. Electronic resources (Books) |