Logics of Programs and Their Applications
Proceedings, Poznan, August 23-29, 1980
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
A. Salwicki
Themen in »Logics of Programs and Their Applications«
Erfüllbarkeitsproblem der Aussagenlogik Parallelverarbeitung (EDV) Programmierlogik Programs algorithms complexity logic parallelism petri net semantics
Stimmen zu »Logics of Programs and Their Applications«
Details
ISBN: 9783540394457
Verlag: Springer Berlin
Erscheinung: 05.07.2005