No label defined (Q4453363)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: scientific article; zbMATH DE number 2051083 |
scientific article; zbMATH DE number 2051083
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 2051083 |
Statements
7 March 2004
0 references
computer science curriculum
0 references
formal methods
0 references
formal specification
0 references
0.7755298018455505
0 references
0.7674204111099243
0 references
0.7325741052627563
0 references
