Free Downloads: Formal
Coq is a formal proof management system.
Coq is a Formal proof management system. It provides a Formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Typical applications include the formalization of programming languages semantics, the formalization of mathematics and teaching.
Category: Business & Finance / Business Finance
Publisher: Coq Development Team, License: Freeware, Price: USD $0.00, File Size: 53.8 MB
Platform: Windows
The ease of use is such that even for the professionals and not particularly technical experts will be able to offer its customers a complete and accurate calculation report also from the Formal point of view. Very detailed and technical analysis of financial position that provides an economic understandable to the customer less prepared on the financial front.
Category: Business & Finance / Business Finance
Publisher: Evolvente s.r.l., License: Demo, Price: USD $0.00, File Size: 25.4 MB
Platform: Windows
Qunetix SD is a software deployment platform for heterogeneous networks, allowing you to install or update software on your network systems without Formal training. Using an automated and managed process, Qunetix SD manages the packaging, testing and depl
Category: Utilities / Network
Publisher: emperex.com, License: Freeware, Price: USD $0.00, File Size: 210.0 MB
Platform: Windows, Linux, Unix
Showcasing a variety of work attire specifically for a wide range of industries, this screensaver features the Formal and stylish designs of S and H Work Uniforms. Believing in presenting a look of professionalism, S and H Work Uniforms are not only attractive and contemporary, but they are also are comfortable and durable.
Category: Desktop Enhancements / Screensavers
Publisher: S and H Work Uniforms, License: Freeware, Price: USD $0.00, File Size: 1.0 MB
Platform: Windows
Designed with a straightforward timeline organization, the J&L Retirement Planner and the Professional version are both well-suited to accountants serving clients who are not yet engaged in Formal financial planning for wealth accumulation and distribution. Their low cost - and the free updates and upgrades included in the price - make either one an excellent choice for accountants...
Category: Business & Finance / Business Finance
Publisher: J&L Software, License: Shareware, Price: USD $49.95, File Size: 1.6 MB
Platform: Windows
CADS Analyse3D is inexpensive, entry level structural analysis package that can do 2D and 3D analysis, can be learned in hours without Formal training and isn't cluttered with functionality you'll never use! Developed for engineers by engineers CADS Analyse3D makes full use of the windows functionality with tool tips, attractive rendered colour graphics, cut and paste members...
Category: Multimedia & Design / Image Editing
Publisher: Computer and Design Services Ltd, License: Shareware, Price: USD $0.00, File Size: 0
Platform: Windows
The ACARS Dispatch Client is the Dispatch end of a complete system that can be used for both Formal and free-format message and file exchange between simulated airplanes and ground stations. It is easy to install and easy to manipulate. It is really a very helpful tool.
Category: Utilities / Misc. Utilities
Publisher: Jeroen Hoppenbrouwers, License: Freeware, Price: USD $0.00, File Size: 1.6 MB
Platform: Windows
DescriptionA suite of project management applications designed to support Formal project management on small or large projects. This suite is compatible with PRINCE II and therefore can be used to support project management of IT, construction and other types of projects. Application ContentsThe applications that are included in this package are listed below: Project Issue Management...
Category: Business & Finance / Project Management
Publisher: CM Services Limited, License: Shareware, Price: USD $50.00, File Size: 4.2 MB
Platform: Windows
ToneTester is a Macintosh application that tests hearing. Specifically, it looks for offsets in how each of a person's ears hears pitch (the Formal term for this is "binaural diplacusis" or "interaural pitch difference"). To use it, you adjust a slider until your ears hear the same pitch, and then ToneTester tells you the actual pitch difference.
Category: Audio
Publisher: Suitable Systems, License: Freeware, Price: USD $0.00, File Size: 188.7 KB
Platform: Mac
Logic Minimizer is an innovative, versatile application for simplifying Karnaugh maps and logical expressions step by step. It is geared for those involved in engineering fields, more precisely digital and Formal logic scholars and academics, digital devices constructors or anybody involved with logical expressions. With its powerful minimization capabilities and full-fledged features,...
Category: Business & Finance / Applications
Publisher: Vikhetan Appa, License: Shareware, Price: USD $22.95, File Size: 6.9 MB
Platform: Windows
Everybody know that even when you finish a Formal studying process, you'll be always learning new things. That's is to say, learning process is an endless process. It's proven that one of the most popular and successful methods of acquiring knowledge is through quizzing. That's why Britannica Quizmaster was created by its editors, a CD-ROM compilation of quizzes...
Category: Home & Education / Miscellaneous
Publisher: Focus Multimedia, License: Shareware, Price: USD $0.00, File Size: 0
Platform: Windows
Cocktail II (by lack of a better name) is a follow up project of Cocktail.
Cocktail II (by lack of a better name) is a follow up project of Cocktail. It is a tool for the Formal static verification of programs. The language that is currently supported is small, but already demonstrates some interesting features, like recursive datatypes.
Category: Software Development / Misc. Programming
Publisher: M.Franssen, License: Freeware, Price: USD $0.00, File Size: 32.4 MB
Platform: Windows
Estimate Master is for:
- Any Contractor
- Construction companies
- Landscaping businesses
- Sign-makers
- Plumbers
- Electrical contractors
- Floor-covering specialists
- Retailers
Highlights:
- A database of your customers, estimates, parts, materials, labor rates and Formal bids allows you to define parts, materials and labor rates and...
Category: Business & Finance / Business Finance
Publisher: OlyKit, Inc., License: Commercial, Price: USD $99.00, File Size: 1.7 MB
Platform: Windows
Using Enterprise Analyst, software analysts, architects and developers can validate, simulate and document future system domain models. The tool allows them to concentrate on the core of the system domain logic and is able to test the system during the analysis phase. Some of the important benefits of applying Formal analysis are: - Much lower defect rate in the later phases...
Category: Software Development / IDEs & Coding Utilities
Publisher: Craftware, License: Commercial, Price: USD $149.00, File Size: 5.7 MB
Platform: Windows
E-mail Commander is a portable mail software application that does not require any kind of Formal installation onto a computer's permanent storage device to be executed, and can be stored on a removable storage device such as a USB flash drive and used on multiple computers. For example, you can run the E-mail client from a USB device in an Internet Cafe while you travel (see more...
Category: Internet
Publisher: Email Commander, License: Shareware, Price: USD $49.95, File Size: 1.8 MB
Platform: Windows
The free screensaver, Luna, was created by RateMyScreensaver.
The free screensaver, Luna, was created by RateMyScreensaver.com and contains 19 high resolution images of the Moon. The Moon is Earth's only natural satellite. It has no Formal English name other than the Moon, although it is occasionally called Luna (Latin for moon) to distinguish it from the generic term moon (referring to any of the various natural satellites of other planets).- wiki...
Category: Desktop Enhancements / Screensavers
Publisher: RateMyScreensaver, License: Freeware, Price: USD $0.00, File Size: 3.1 MB
Platform: Windows
Beating The Beast! IM Jungle Survival Guide! Everyday hundreds, thousands, maybe hundreds of thousands of people decide to investigate the idea of working from home or starting their very own home-based business. They have heard of others that have done so who have been very successful...maybe even wildly successful at it. The Internet really is the great equalizer. The level of Formal...
Category: Web Authoring / Web Design Utilities
Publisher: Make Extra Money, License: Freeware, Price: USD $0.00, File Size: 614.4 KB
Platform: Windows
Pizzicato Light helps you to learn music and to start using a music software. It is a perfect companion to a Formal music course in a music school or college (it helps you to read the notes for pitch and rhythmic justness, for various exercises and music theory). Write and print small scores (up to two pages) with the mouse or through a music keyboard connected to the computer. Hear the...
Category: Audio / Music Creation
Publisher: Arpege Music, License: Shareware, Price: USD $21.00, EUR15, File Size: 47.1 MB
Platform: Windows, Mac
The academy is where would-be ninja start; they are not actually considered ninja until they graduate.
Academy students take Formal and practical tests of all sorts and are taught basic ninja skills, such as martial arts, techniques, physical fitness and the way of the ninja.
Basic weapon usage, such as kunai and shuriken, are commonly taught. Elementary ninja...
Category: Games / Action
Publisher: Softendo, License: Freeware, Price: USD $0.00, File Size: 3.6 MB
Platform: Windows
This book provides all the hands-on practical tips you need to start your own ESL teaching business.
This book provides all the hands-on practical tips you need to start your own ESL teaching business. Whether you want to begin tutoring from your home or start your own ESL school, this book provides the step-by-step guidance you will need to make your business a success. Teaching ESL is ideal for people with an entrepreneurial spirit. While related to Formal education, ESL is more about...
Category: Home & Education / Miscellaneous
Publisher: Self-Counsel Press, License: Shareware, Price: USD $0.00, File Size: 0
Platform: Windows
With this program you can see inside your software source code, find out how much code you have and identify the relative complexity of your modules. For example, you can use SourceMonitor to identify the code that is most likely to contain defects and thus warrants Formal review. SourceMonitor, written in C , runs through your code at high speed.
Category: Software Development / Tools & Editors
Publisher: Campwood Software, License: Freeware, Price: USD $0.00, File Size: 2.2 MB
Platform: Windows
Simple Server-side component-oriented MVC Java Web Framework alternative to JSF, Wicket, Tapestry, Click etc. The framework consists of a compiler and the runtime. The HybridJava language is strictly defined by a merge of Java and HTML Formal grammar and extends Java semantics throughout markup. Compiler generates Java code invoked from a single Servlet. The runtime is less than 1000...
Category: Internet / Web Servers
Publisher: HybridServerPages Group, License: Freeware, Price: USD $0.00, File Size: 366.6 KB
Platform: Windows, Mac, Linux, Android, Java, MS-DOS, Unix, Other
PCB Artist is a user friendly, fully integrated, schematics
capture & PCB layout tool that you will find easy to use.
You can download PCB Artist and install the product at no charge and start designing your PCB design almost immediately.
Once complete, your files are saved to your computer,
or you can upload and send to us for order placement.
PCB Artist has...
Category: Multimedia & Design / Multimedia App's
Publisher: Advanced Circuits, License: Freeware, Price: USD $0.00, File Size: 443.5 KB
Platform: Windows
ProCapture is a powerful SAP transaction automation tool capable of running virtually any SAP Transaction any number of times. It takes SAP transaction recordings (made using SAP’s standard Transaction recorder), along with data files that you create, to automatically run the recorded Transaction using your data as inputs.ProCapture is very simple to learn and usually requires no...
Category: Business & Finance / Business Finance
Publisher: Progress Pacific Pty. Ltd., License: Shareware, Price: USD $3151.72, File Size: 7.7 MB
Platform: Windows
Grid Algebra is a new visual and kinaesthetic way to learn number concepts and pre-algebra at KS2 and to learn about number and algebra for KS3 and KS4. What is more, it supports more developed algebra ideas as
features:
- mental arithmetic and practising multiplication tables
- multiples, factors, negative numbers
- expressing Formal ways of representing...
Category: Home & Education / Mathematics
Publisher: ATM, License: Shareware, Price: USD $73.71, File Size: 2.6 MB
Platform: Windows