Quantcast

Jim Woodcock Reference Libraries

Page 1 of about 1 Articles
Formal Aspects of Computing
2012-04-25 18:46:59

Formal Aspects of Computing (FAC) is a peer-reviewed scientific journal published by Springer Science+Business Media. It covers the area of formal methods and associated topics in computer science. The journal is associated with BCS-FACS (The British Computer Society Formal Aspects of Computing Science Specialist Group). FAC's editors-in-chief are Jim Woodcock and Cliff Jones. The main goal...

Word of the Day
toccata
  • In music, a work for a keyboard-instrument, like the pianoforte or organ, originally intended to utilize and display varieties of touch: but the term has been extended so as to include many irregular works, similar to the prelude, the fantasia, and the improvisation.
This word is Italian in origin, coming from the feminine past participle of 'toccare,' to touch.
Related