Word list Emoticon dictionary Internet Explorer toolbar IE quick lookup Firefox search plugin VDict bookmarklet For Webmasters VDict on your site
About Privacy policy Contact us
FAQ Community support forum
Language
English
Vietnamese
Search history
History size
Delete history View history
Vietnamese keyboard On Off  
Search in Name Definition  
Match type Exact Broad Fuzzy
 
Computing
 B-Method


#@programming, tool@# A system for rigorous or formal
development of software using the notion of AbstractMachines to specify and design software systems. The
B-Method is supported by the B-Toolkit.
Abstract Machines are specified using the Abstract Machine
Notation (AMN) which is in turn based on the mathematical
theory of Generalised Substitutions.
(1995-03-13)




Search for B-Method in:


Search by other methods:

Vietnamese Dictionary and Translation. Từ điển và dịch Anh Việt