Dynamic Trace Logic : Definition and Proofs / Bernhard Beckert and Daniel Bruns
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Karlsruher Institut für Technologie. Karlsruhe reports in informatics ; 2012,10Publisher: Karlsruhe : KIT, Fakultät für Informatik, 2012Description: Online-RessourceGenre/Form: Online resources: PPN: PPN: 715609637Package identifier: Produktsigel: ZDB-296-TTNNo physical items for this record
Systemvoraussetzungen: Acrobat reader.