Misplaced Pages

The following pages link to BCS-FACS

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

Showing 38 items.

• Z notation (links | edit)
• Tony Hoare (links | edit)
• Formal methods (links | edit)
• British Computer Society (links | edit)
• London Mathematical Society (links | edit)
• Peter Landin (links | edit)
• Christopher Strachey (links | edit)
• Jonathan Bowen (links | edit)
• B-Method (links | edit)
• Joe Stoy (links | edit)
• Z User Group (links | edit)
• Formal Methods Europe (links | edit)
• Formal Aspects of Computing Science (redirect page) (links | edit)
  • FACS (links | edit)
  • List of acronyms: F (links | edit)
  • Jonathan Bowen (links | edit)
  • Jawed Siddiqi (links | edit)
  • British Colloquium for Theoretical Computer Science (links | edit)
• Michael J. C. Gordon (links | edit)
• John Fitzgerald (computer scientist) (links | edit)
• Advanced Programming Specialist Group (links | edit)
• BCS FACS (redirect page) (links | edit)
  • UNSW School of Computer Science and Engineering (links | edit)
• Martin Henson (computer scientist) (links | edit)
• Steve Reeves (computer scientist) (links | edit)
• Rodin tool (links | edit)
• FACS FACTS (redirect to section "FACS FACTS newsletter") (links | edit)
  • Z notation (links | edit)
  • Tony Hoare (links | edit)
  • Christopher Strachey (links | edit)
  • B-Method (links | edit)
  • Z User Group (links | edit)
  • BCS-FACS (links | edit)
  • Michael J. C. Gordon (links | edit)
  • Rolf Noskwith (links | edit)
  • Michael W. Shields (links | edit)
  • Anders P. Ravn (links | edit)
  • Robert France (links | edit)
  • Sergiy Vilkomir (links | edit)
  • Hussein Zedan (links | edit)
  • Tim Denvir (links | edit)
  • Ken Robinson (computer scientist) (links | edit)
  • Misplaced Pages:WikiProject Academic Journals/Journals cited by Misplaced Pages/F1 (links | edit)
  • Misplaced Pages:WikiProject Magazines/Magazines cited by Misplaced Pages/F1 (links | edit)
  • Misplaced Pages:WikiProject Academic Journals/Journals cited by Misplaced Pages/Questionable1 (links | edit)
  • Misplaced Pages:WikiProject Academic Journals/Journals cited by Misplaced Pages/Publisher10 (links | edit)
  • Misplaced Pages:WikiProject Academic Journals/Journals cited by Misplaced Pages/DOI/10.12250 (links | edit)
• Michael W. Shields (links | edit)
• Anders P. Ravn (links | edit)
• Robert France (links | edit)
• Sergiy Vilkomir (links | edit)
• Hussein Zedan (links | edit)
• Tim Denvir (links | edit)
• Ken Robinson (computer scientist) (links | edit)
• Talk:BCS-FACS (transclusion) (links | edit)
• User:Alai/redundant (links | edit)
• User:Mike.stannett (links | edit)
• User:Qwerfjkl/preservedCategories/Category:CS1: long volume value (links | edit)
• User:Tule-hog/All Computing articles (links | edit)
• User talk:Jpbowen/Archive 6 (links | edit)
• Misplaced Pages:WikiProject Academic Journals/Journals cited by Misplaced Pages/F1 (links | edit)
• Misplaced Pages:WikiProject Magazines/Magazines cited by Misplaced Pages/F1 (links | edit)
• Misplaced Pages:WikiProject Academic Journals/Journals cited by Misplaced Pages/DOI/10.12250 (links | edit)
• File:BCS-FACS logo.jpg (links | edit)