维也纳开发方法
Sign in to saveformal software development method
In the Vinony graph
Vinony's link graph records 32 inbound references to 维也纳开发方法, and connects out to compiler, Ada and Japan.
It is catalogued under topics including Formal methods and Formal specification languages.
Vinony links it to 7 Wikipedia language editions.
Connections
compiler
Entity
Ada
Entity
Japan
Country
United Kingdom
Country
Denmark
Concept
Vienna
Entity
logic
Entity
computer science
Entity
operating system
Entity
mobile phone
Entity
International Standard Book Number
Entity
algorithm
Entity
natural number
Entity
C++
Entity
integer
Entity
real number
Entity
rational number
Entity
Wayback Machine
Entity
IBM
Entity
International Organization for Standardization
Entity