Summary goes here
Salvato in:
| Natura: | Libro |
|---|---|
| Lingua: | inglese |
| Soggetti: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| 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) |