jasminecorp.net directory
Updated Blogs
Computer Support Blog
Essensial Software for Web Based Support
HP Server and Desktop
HP ILO - Remote Tech-Support Software
More .....

JasmineCorp Search | Free Blogs | Free Tutorials | Free Guest Book | Buy Books | Advertise | Hosting | Web Designing | Software Development | Domain Registration | IP Locater | E-Cards | Whois | Games | Shopping


 
Detailed Information

URL:     http://www.informatik.uni-ulm.de/ki/canver.html

Title:     Canver, Ercüment

Description:     University of Ulm - Object-oriented approaches to formal specification and verification, formal specification and verification of reactive systems, component-based formal development of concurrent systems, and the Temporal Logic of Actions.

Directory:     Computers/Computer_Science/People/C

 
Reviews

Be the first to review this site
 


Jasminecorp.net directory is based on the Open Directory and is being modified by Jasminecorp.

©2004 Jasmine Computers Inc.

Click here to subscribe for Jasminecorp's product News.

Home || Web Designing || Get a Domain Name || Host your Web site || Terms of Service
Our Portfolio || Our Clients || Job Opportunities || Free GuestBook || Free Quote
Buy Books || Tell a Friend || Special Offer || Contact Us || Free Tutorial || Add JasmineCorp Search
Submit a Site to Jasminecorp.net Directory

 

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Get a Domain Name:
.com .org .net
.info .biz .us