The Racket virtual machine and randomized testing
Klein, Casey ; Flatt, Matthew ; Findler, Robert Bruce
- Link zu diesem Datensatz
- https://d-nb.info/1163154768
- Titel
- The Racket virtual machine and randomized testing
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- by Casey Klein, Matthew Flatt, Robert Bruce Findler
- Autor(en)
-
- Klein, Casey
- Flatt, Matthew
- Findler, Robert Bruce
- Organisation(en)
-
- SpringerLink (Online service)
- Zeitliche Einordnung
- Erscheinungsdatum: 2013
- Umfang/Format
- Online-Ressource
- ISSN
15730557- DOI
- 10.1007/s10990-013-9091-1
- Online
- https://doi.org/10.1007/s10990-013-9091-1
- Sprache
- eng
- Schlagwörter
-
- (lcsh)Computer science.
- (lcsh)Mathematical logic.
- (lcsh)Computer science--Mathematics.
- (lcsh)Computer mathematics.
- (lcsh)Computational intelligence.
- Computer Science.
- Mathematical Logic and Formal Languages.
- Symbolic and Algebraic Manipulation.
- Computational Mathematics and Numerical Analysis.
- Computational Intelligence.
- Frühere/spätere Titel
-
- Enthalten in: Higher-order and symbolic computation
- Enthalten in: Higher-order and symbolic computation
- Enthalten in: Higher-order and symbolic computation
- Stand
- 24.10.2018 09:06
- Im Katalog seit
- 07.03.2026