Incremental and Compositional Probabilistic Analysis of Programs / Fouad ben Nasr Omri, Safa Omri, and Ralf Reussner
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Karlsruher Institut für Technologie. Karlsruhe reports in informatics ; 2015, 2Publisher: Karlsruhe : KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2015Description: Online-RessourceGenre/Form: DOI: DOI: 10.5445/IR/1000045597Online resources: PPN: PPN: 818605774Package identifier: Produktsigel: ZDB-296-TTNNo physical items for this record