> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Logic-Based Program Synthesis and Transformation: Eliminating Unstable Tests in Floating-Point Programs Beteiligte: Titolo, Laura; Muñoz, César A.; Feliú, Marco A.; Moscato, Mariano M. Erschienen: Springer International Publishing, 2019 Erschienen in: Logic-Based Program Synthesis and Transformation (2019), Seite 169-183 Sprache: Nicht zu entscheiden DOI: 10.1007/978-3-030-13838-7_10 ISBN: 9783030138370; 9783030138387 ISSN: 0302-9743; 1611-3349 Entstehung: Anmerkungen: