Summary goes here
Zapisane w:
| Format: | Książka |
|---|---|
| Język: | angielski |
| Hasła przedmiotowe: | |
| Etykiety: |
Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 0a051d21-52fd-4200-8d88-c0b23d534fcd |
| isbn | 0387152393 9780387152394 3540152393 9783540152392 |
| issn | |
| language | eng |
| physical | vi, 114 pages ;25 cm |
| 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) Parallel processing (Electronic computers) Parallel programs (Computer programs) Parallelverarbeitung Programmierung Programmverifikation Verifikation Parallel programming (Computer science) Parallel processing (Electronic computers) Parallel programs (Computer programs)Verification |