Virtual special issue - 4PAD 2015
Gespeichert in:
| Körperschaften: | , |
|---|---|
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Amsterdam, Boston, London
Elsevier
2017
|
| Schriftenreihe: | The journal of logical and algebraic methods in programming
volume 88 (April 2017) |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | Enthält insgesamt 2 Beiträge der Veranstaltung 'Special Session on Formal Approaches to Parallel and Distributed Systems (4PAD)' im Rahmen der '23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP)' in Turku vom 04.-06. März 2016 Literaturangaben |
|---|---|
| Beschreibung: | Seite 99-153 Diagramme |