Free Downloads: Formal

License:  All 1 2 | Free

Freeware
more

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



Demo
more

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.

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

Freeware
more

Qunetix SD is a software deployment platform for heterogeneous networks, allowing you to install or update software on your network systems without formal training.

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

more

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.

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

more

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 di

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

Shareware
more

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!

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

Freeware
more

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.

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

more

DescriptionA suite of project management applications designed to support formal project management on small or large projects.

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

Freeware
ToneTester Screenshot
more

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").

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

5 Stars5 Stars5 Stars5 Stars5 Stars Shareware
Logic Minimizer Screenshot
more

Logic Minimizer is an innovative, versatile application for simplifying Karnaugh maps and logical expressions step by step. It is geared for digital and formal logic scholars and academic or anybody involved with logical expressions.

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

more

Everybody know that even when you finish a formal studying process, you'll be always learning new things.

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

more

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

Commercial
more

Estimate Master is for:
- Any Contractor
- Construction companies
- Landscaping businesses
- Sign-makers
- Plumbers
- Electrical contractors
- Floor-covering specialists
- Retailers

Highlights:
- A database of

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

4 Stars4 Stars4 Stars4 Stars4 Stars Commercial
Enterprise Analyst Screenshot
more

Enterprise Analyst is an add-in for Sparx Systems' Enterprise Architect that enables the simulation of object instances of class models. The Enterprise Analyst add-in is built to support next-generation software development paradigms like MDA and DDD.

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

Shareware
Email Commander Screenshot
more

E-mail Commander is a portable email client 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 (see usbspace.com)

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

Freeware
more

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

more

Beating The Beast!

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

Shareware
Pizzicato Light Screenshot
more

Teach yourself music theory and start using a music software. Write and print small scores with the mouse or through a music keyboard connected to the computer. Hear the score playing. It is a perfect companion to a formal music course in school.

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

more

The academy is where would-be ninja start; they are not actually considered ninja until they graduate.

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

Shareware
more

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

Freeware
more

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.

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

more

Simple component-oriented MVC Java Web Framework alternative to JSF, Wicket, Tapestry, Click etc. Very compact documentation. An intuitive compilable language defined as a merge of Java and HTML formal grammars. Pure Java. Runtime is Open Source

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

Freeware
more

PCB Artist is a user friendly, fully integrated, schematics
capture & PCB layout tool that you will find easy to use.

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

Shareware
more

ProCapture is a powerful SAP transaction automation tool capable of running virtually any SAP Transaction any number of times.

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

Shareware
more

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.

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

blank

License:  All 1 2 | Free