Titel |
Bausteine eines kompositionalen Beweiskalküls für netzmodellierte Systeme / TUM, Technische Universität München, Institut für Informatik, Sonderforschungsbereich 342, Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen. J. Desel ... |
|---|---|
Beteiligt |
Jörg Desel (Mitwirkender) |
Erschienen |
München: TUM, SFB 342 |
Umfang |
44 S. : graph. Darst. |
Themengebiet |
|
Reihe |
SFB-Bericht / Sonderforschungsbereich 342, Institut für Informatik, Technische Universität München. Reihe A ; Nr. 92,16 |
Datensatz-ID |
930648129 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: