Pages that link to "Program specification"
Showing 22 items.
- Software bug (links | edit)
- Jakarta EE (links | edit)
- Correctness (computer science) (links | edit)
- Program derivation (links | edit)
- Computability logic (links | edit)
- Guarded Command Language (links | edit)
- Extended ML (links | edit)
- Software prototyping (links | edit)
- Epigram (programming language) (links | edit)
- B-Method (links | edit)
- Bird–Meertens formalism (links | edit)
- Talk:Liskov substitution principle (links | edit)
- Talk:Formal specification (links | edit)
- Talk:Formal specification/to do (links | edit)
- Talk:Specification (technical standard)/Archive 1 (links | edit)
- User:Oliver Pereira/stuff (links | edit)
- User:Alai/redundant (links | edit)
- User:Physis/Former watchlist (links | edit)
- User:M3tainfo/Java Platform, Enterprise Edition (links | edit)
- User:LinguisticMystic/zhwikt (links | edit)
- User talk:Ripper234 (links | edit)
- Wikipedia:Reference desk/Archives/Mathematics/2008 May 2 (links | edit)