Formal Aspects of Computing
The Formal Aspects of Computing journal is published by Springer-Verlag. It coveres the area of formal methods and associated topics in computer science. The Editor-in-Chief is Cliff Jones. The journal is associated with BCS-FACS, the British Computer Society Formal Aspects of Computing Science Specialist Group.
Related Topics:
Springer-Verlag - Formal methods - Computer science - Editor-in-Chief - Cliff Jones - BCS-FACS - British Computer Society
~ ~ ~ ~ ~ ~ ~ ~ ~ ~
~ Table of Content ~
| ► | Introduction |
| ► | ISSN information |
| ► | External links |
~ What's Hot ~
500 Days Of Summer, Avatar, Fantastic Mr Fox, Cedar Boys, Madagascar 3, The Boondock Saints Ii All Saints Day, Lethal Weapon 5, My Sister S Keeper, The Lovely Bones, Twilight, The Princess And The Frog, The Hangover, The Blind Side, Hannah Montana The Movie, The Goods Live Hard Sell Hard, Law Abiding Citizen, The Ugly Truth, The Mummy 4 Rise Of The Aztec, New Moon, Alvin And The Chipmunks The Squeakquel,
~ Community ~
| ► | History Forum Come and discuss about History, Civilizations, Historical Events and Figures |
| ► | History Web-Ring A community of sites, blogs and forums dedicated to History. Do not hesitate to submit your site. |
and are licensed under the GNU Free Documentation License.
Lexicon - Privacy Policy - Spiritus-Temporis.com ©2005.