|
|
|
|
Rate it
|
|
|
0.0
stars , 0 votes
|
|
Like it
|
|
|
Total downloads
|
26
|
|
Last update
|
June 16, 2010
|
|
Publisher
|
Event-B.org
|
|
License
|
Free |
|
OS
|
Windows
|
|
Share
|
|
|
|
Description
It provides effective support for refinement and mathematical proof. The platform is open source, contributes to the Eclipse framework and is further extendable with plugins.
|
Right now download mirror is not available, please try another product
|
|
Post your review about this product
|
All software reviews and articles becomes the sole property of Place77 . You acknowledge that you are responsable for the contents of your submission.Place77 reserves the right to remove or refuse to post any submission for any reason.
|
Top Software in File Editors |
|
1.
|
AnkhSVN 2.1.8480.
AnkhSVN is a Subversion Source Control Provider for Microsoft Visual Studio 2005, 2008 and 2010.AnkhSVN
|
|
2.
|
OptiVec for Borland C++ 5.2
OptiVec hold more than 3500 hand-optimized, Assembler-written functions for all floating-point and integer data types
|
|
3.
|
Wassup 2.5
Wassup lets you know whats up with your Java environment. It will tell you the
|
|
4.
|
Microsoft Visual Studio LightSwitch Beta 1
Microsoft Visual Studio LightSwitch gives you a simpler and faster way to create professional-quality business
|
|
5.
|
Yasca 2.1
Yasca is a source code analysis tool that I started writing in 2007. It could
|
RODIN 1.3.1 Copyright Information
Place77 periodically updates pricing and software information about full version from the publisher. Mirror links are directly from our servers or publisher's sites.
|
|
Featured
|
tkCNC Editor
tkCNC Editor is a text editor, specially designed for NC code (G-code) editing for CNC machines. It is used by CNC programmers and operators for fast.
|
|
