1
Coq Development Team
107
Freeware
It provides a formal language to write mathematical definitions.
Laridian
6
Commercial
The Message has no formal language and no verse numbers in the Bible.
1
M.Franssen
6
Freeware
It is a tool for the formal static verification of programs.
Business Cards Designer
Shareware
Generate tags and formal cards.
10
Goodsol Development Inc.
661
Shareware
Spider, Spider One Suit, Spider Two Suits, and other solitaire games.
1
Actum Solutions
11
Freeware
Realizer Bronze helps you decide which micro-controllers suits your project best.
Lipper, Inc.
39
Commercial
Flexibility to manage data and information in a way that suits your needs.
1
Trimble Navigation Limited
Freeware
Best suits your needs, use this simple product comparison.
BackupAgent BV
Shareware
Select a protection plan that best suits your requirements.
