Your search
BIOLOGY, NEUROSCIENCE & PSYCHOLOGY
Topic
Resource type
The Kappa Language and Kappa Tools
Resource type
Authors/contributors
- Boutillier, Pierre (Author)
- Feret, Jérôme (Author)
- Krivine, Jean (Author)
- Fontana, Walter (Author)
Title
The Kappa Language and Kappa Tools
Pages
52
Language
en
Library Catalog
Zotero
Extra
ZSCC: NoCitationData[s0]
Citation
Boutillier, P., Feret, J., Krivine, J., & Fontana, W. (n.d.). The Kappa Language and Kappa Tools, 52.
BIOLOGY, NEUROSCIENCE & PSYCHOLOGY
MODEL CHECKING AND STATE MACHINES
PROGRAMMING LANGUAGES
Methodology
Link to this record
