Summary goes here
Saved in:
| Format: | Bog |
|---|---|
| Sprog: | engelsk |
| Fag: | |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | f5bca9a5-c227-4bc5-8bb3-2b2dc3d4e101 |
| isbn | 9783540654933 (pbk.) |
| issn | |
| language | eng |
| physical | 646 pages :illustrations ;24 cm |
| publication | – publisher: Springer dateOfPublication: ©1998 |
| publishDate | ©1998 |
| subjects | |
| title | Compositionality : the significant difference : international symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997 : revised lectures / Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.). |
| topic | Automatic theorem proving Parallel processing (Electronic computers) compositionnalité. concurrence. méthode formelle. spécification formelle. vérification système. Parallélisme (Informatique) Engenharia de programacao (software) Parallélisme (informatique) Programacao de computadores. Théorèmes compositionnalité. concurrence. méthode formelle. spécification formelle. vérification système. Programmatuurtechniek. Verificatie. Conference papers and proceedings. |