SPARK (Q3493345)
Jump to navigation
Jump to search
programming language
- Spark
- SPADE Ada Kernel
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | SPARK |
programming language |
|
Statements
Identifiers
1 reference
1 reference
Sitelinks
Wikipedia(7 entries)
- enwiki SPARK (programming language)
- eswiki SPARK
- fiwiki SPARK (ohjelmointikieli)
- plwiki SPARK (informatyka)
- ruwiki SPARK (язык программирования)
- ukwiki SPARK (мова програмування)
- zhwiki SPARK