Search
Code Directory
 ASP
 ASP.NET
 C/C++
 CFML
 CGI/PERL
 Delphi
 Development
 Flash
 HTML
 Java
 JavaScript
 Pascal
 PHP
 Python
 SQL
 Tools
 Visual Basic & VB.NET
 XML
New Code
Free Spire.PDF for Java 2.2.2
CSFreeDB 1.0
Udemy Clone Script | Online Course Learning Script 2.00
Crowdfunding donate 1.019
GoferEats - UberEats Clone 1.0
CADViewX: ActiveX for DWG, DXF, PLT, CGM 14
CADEditorX: ActiveX DWG/DXF, STP, PLT 14
Database Workbench Pro 5.7.2
ASP. NET C# PDF Software 2020.3.2
C# HTML to PDF 2020.3.2
dbForge Schema Compare for MySQL 5.0.191
dotConnect for Dynamics CRM 1.9
dotConnect for MailChimp 1.9
dbForge Query Builder for MySQL 4.5.254
The C# Excel Library 2020.5
Top Code
dbForge Studio for MySQL 8.1
dbForge Studio for Oracle 3.10
dbForge Schema Compare for Oracle 2.7
dbForge Data Compare for Oracle 3.7
IP2Location Geolocation Database 2020.5
dbForge Schema Compare for MySQL 3.1
Database Workbench Pro 5.7.2
dbForge Query Builder for MySQL 4.4
Availability Booking Calendar PHP 1.0
ATN Site Builder 3.0
ATN Resume Finder 2.0
Invoice Manager by PHPJabbers 3.0
Solid File System OS edition 5.1
PHP Review Script 1.0
ICPennyBid Penny Auction Script 4.0
Top Rated
phpEnter 5.1.
Single Leg MLM 1.2.1
Azizi search engine script PHP 4.1.10
Paste phpSoftPro 1.4.1
Extreme Injector 3.7
Deals and Discounts Website Script 1.0.2
Solid File System OS edition 5.1
Classified Ad Lister 1.0
Aglowsoft SQL Query Tools 8.2
Invoice Manager by PHPJabbers 3.0
ICPennyBid Penny Auction Script 4.0
PHP Review Script 1.0
ATN Resume Finder 2.0
ATN Site Builder 3.0
Availability Booking Calendar PHP 1.0
Community Z Tools 1.5.0
File ID: 122917






Community Z Tools 1.5.0
Download Community Z Tools 1.5.0http://czt.sourceforge.netReport Error Link
License: Freeware
File Size: 5.2 MB
Downloads: 13
Submit Rating:
Community Z Tools 1.5.0 Description
Description: Community Z Tools Project (CZT):
Tools for editing, typechecking and animating Z
specifications and related notations.
Includes a Java framework for building formal methods tools.

License: Freeware

O/S:BSD, Linux, Windows, Mac

File Size: 5.2 MB

Downloads: 13



More Similar Code

i-Net Online Community site script is an online social networking software that allows you to start your own site just like Myspace, Hi5 and Facebook. Our online community script allow members to connect with people in their personal networks and people can create a new online interactive resource that is based on a trusted network of friends and associates on the internet. This online community website script can be customized and be branded...



Wibiya enables blogs to integrate the most exciting services, applications and widgets of their choice into their blog through customized web-based toolbars. Our platform offers a one-stop solution for integrating, managing and tracking...



Multimedia collaboration and communication framework. Promoting the use of GPL media tools and encouraging persons to Copyleft their media so that the community can benefit



Blubrry PowerPress brings the essential features for podcasting to WordPress. Developed by podcasters for podcasters, PowerPress offers full iTunes support, the Update iTunes Listing feature, web audio/video media players and more. PowerPress is...



The Praized Tools plugin will enable new editorial tools within your WordPress install for you to blog about places and tie everything back to your or a 3rd party's Praized community. It will also help you create your Praized sidebar widget.



The easiest way to create your own community on net, with E.Z. Board 6. Base on user's comments and technical support experiences, new features and built in tools has been added while the existing features has been enhanced. / The E.Z. Board 6...



The Praized Community plugin allows you to deploys a complete local search section including 17M+ North American place listings, social tools and search functionalities through your WordPress blog (see screenshots).

You will need a...



Tools to allow Z specifications to be written in Microsoft Word. Includes a unicode font for Z symbols. Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and...



This project differs from other Open Source projects - it will not only features OSS fuzzy-logic OCX methods, PHP tools and other software, but also have the well-known spirit of community with loooong discussions...



A set of tools for the Objective Caml language build and maintained by the OCaml community.

User Review for Community Z Tools
- required fields
     

Please enter text on the image