SmallVDM
SmallVDM
(tool)["SmallVDM: An Environment for Formal Specification and Prototyping in Smalltalk", in Object Oriented Specification Case Studies, K. Lano et al eds, P-H 1993].
["SmallVDM: An Environment for Formal Specification and Prototyping in Smalltalk", in Object Oriented Specification Case Studies, K. Lano et al eds, P-H 1993].
Encyclopedia browser
?
- ▲
- small-bore practice
- Small-C
- Small-Caliber Artillery
- Small-Capacity School
- small-craft warning
- small-diameter blasthole
- Smalley, Richard Errett
- Smallholders Party
- small-ion combination
- Small-Job Printing
- Small-Leaved Forests
- small-lot storage
- Smallness
- small-object search pattern
- small-office/home-office
- smallpox
- smallpox vaccine
- Smalls, Robert
- small-scale
- small-scale hydropower
- small-scale integration
- small-signal parameter
- Smalltalk
- Smalltalk/V
- Smalltalk-80
- SmallVDM
- Smallville Villains
- small-waterplane-area twin-hull ship
- Smallwood State Park
- SMALLWORLD
- Smalt
- smaltite
- smalto
- smaragd
- Smaragd Loginovich Shustov
- Smaragd Shustov
- smaragdite
- Smarandache function
- Smarandache logic
- smart
- Smart Battery Data
- smart bomb
- smart browser
- smart browsing
- Smart building
- smart bulb
- smart cable
- smart car
- smart card
- smart city
- smart client
- ▼
Full browser
?
- ▲
- Smalltalk
- Smalltalk
- Smalltalk
- Smalltalk
- Smalltalk (programming language)
- Smalltalk and C
- Smalltalk and Modula-2
- Smalltalk Compiler Compiler
- Smalltalk Compiler-Compiler
- SmallTalk Distributed Messaging Architecture
- Smalltalk Industry Council
- Smalltalk Instance Exchange in XML
- Smalltalk Interface to X
- Smalltalk Modula-2
- Smalltalk Open Unification Language
- SmallTalk programming language
- Smalltalk Session
- Smalltalk Solutions
- Smalltalk Systems
- Smalltalk User'S Group
- Smalltalk YX
- Smalltalk-72
- Smalltalk-80
- Smalltalk/V
- smalltime
- smalltime
- smalltimer
- smalltimer
- smalltooth sawfish
- smalltooth sawfish
- SmallVDM
- Smallville
- Smallville Villains
- Smallwood State Park
- Smallwood Village Council
- Smallworld
- Smally
- smalmily
- smalminess
- smalmy
- SMALS
- SMALSI
- SMALSS
- smalt
- smalt
- Smalt-blue
- Smalterie Metallurgiche Emiliane Guastalla
- smaltine
- smaltine
- smaltite
- smaltite
- smalto
- smalto
- SMALU
- SMAM
- SMAN
- SMANN
- SMANT
- SMANZFL
- SMAO
- SMAOS
- ▼