> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: On the power of conditional specifications Beteiligte: Orejas, Fernando Erschienen: Association for Computing Machinery (ACM), 1979 Erschienen in: ACM SIGPLAN Notices Sprache: Englisch DOI: 10.1145/954245.954252 ISSN: 0362-1340; 1558-1160 Schlagwörter: Computer Graphics and Computer-Aided Design ; Software Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang