Difference between revisions of "Category:Formal specifications"

Line 1: Line 1:
 
Mathematic descriptions of hardware or software which maybe be used in a design implementation
 
Mathematic descriptions of hardware or software which maybe be used in a design implementation
[[Image:Formal Specifications Büchi TO 51 Attribution.jpg|thumb|right|Buchi TO 51 from The National Institute of Standards and Technology- Center for Neutron Research]]
+
[[Image:Formal Specifications Büchi TO 51 Attribution.jpg|thumb|right|A Buchi TO 51 Drying Tube from The National Institute of Standards and Technology- Image by Kimberly Tomasi and The Center for Neutron Research]]
  
 
[[Category:Standardization|{{PAGENAME}}]]
 
[[Category:Standardization|{{PAGENAME}}]]

Revision as of 17:50, 6 February 2012

Mathematic descriptions of hardware or software which maybe be used in a design implementation

File:Formal Specifications Büchi TO 51 Attribution.jpg
A Buchi TO 51 Drying Tube from The National Institute of Standards and Technology- Image by Kimberly Tomasi and The Center for Neutron Research

Pages in category "Formal specifications"

The following 4 pages are in this category, out of 4 total.