You can find information & resources of science, biotechnology, chemistry, ecology, technology, science resources, mechanical engineering, earth sciences, astrophysics, nuclear & molecular at PortalScience.com
  Browse Categories
 
Agriculture   (1554)
Alternative Science   (382)
Amateur Science   (3)
Biology   (5463)
Chemistry   (1183)
Cognitive Science   (14)
Complex Systems   (9)
Computer Science   (286)
Directories   (10)
Earth Sciences   (1981)
Ecology   (207)
Education   (271)
Energy   (247)
Engineering   (813)
Environment   (2913)
Forensics   (44)
Geography   (74)
Institutions   (366)
Mathematics   (1333)
Physics   (1326)
Resources   (587)
Shopping and Services   (1946)
Social Sciences   (8069)
Space   (2707)
Technology   (4299)
 
Detail:
 
 
WWW Virtual Library: Formal Methods
points to sites containing information on formal methods, useful for mathematically describing and reasoning about computer-based systems.
http://www.afm.sbu.ac.uk/
Company Name: Link ID: 867  
Date: Nov 30, 2001  
Category: Computer Science
Average Visitor Rating:
0.00 (out of 5)
Number of ratings: 0 Votes
Visitor rating
Other links in this category
University of Waterloo - Symbolic Computation
information on the computer algebra system Maple.
Formal Methods Europe (FME)
worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Stargate Consultants Ltd.
consulting services on R & D management and technological innovation; technical information services; and presents courses on R & D management.
Parkway Gordon
suppliers of U.S. IT journals to Europe.
CENPARMI: Centre for Pattern Recognition and Machine Intelligence
research centre on document processing and handwriting recognition.
 
 
HomeSubmit SiteAbout UsLink to UsContact UsDisclaimerPrivacy PolicyScience Blog
Information contained herein is deemed accurate and correct, but no warranty is implied or given.
© Copyright Portalscience.com Inc., . All rights reserved.
At this site you may find geography, alternative-science, amateur-science, physics and astronomy, alternative science, medical physics, mathematics, physics, space, environment, forensics, energy, engineering and more.