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 | d1db67c2-e8dc-409b-9d49-89a8789936eb |
| isbn | 0387508457 9780387508450 3540508457 9783540508458 |
| issn | |
| language | eng |
| physical | vi, 272 pages :illustrations ;25 cm |
| publication | – publisher: SpringerVerlag dateOfPublication: ©1989 |
| publishDate | ©1989 |
| subjects | |
| title | Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship / J. Zwiers. |
| topic | Parallel processing (Electronic computers) Automatic theorem proving. Automatic theorem proving Parallel processing (Electronic computers) Dekomposition Partiell korrektes Programm Nebenläufigkeit Programmverifikation Computer programs Computer programs Parallélisme (informatique) |