Stack Exchange
sign up | log in |

Computer Science beta
  • Questions
  • Tags
  • Tour
  • Users
  • Ask Question

Charles Fu

less info
stack exchange network profile network profile
87 reputation
4
bio website
location
age
visits member for 1 year
seen May 19 at 21:54
stats profile views 3

87 reputation
bio website visits member for 1 year
4 badges
location seen May 19 at 21:54
summary answers questions tags badges favorites bounties reputation activity

1 Answer

votes activity newest
5
Hoare triple for assignment P{x/E} x:=E {P}

87 Reputation

+21 Reasons behind the choice of 172.16/192.168?
+65 Hoare triple for assignment P{x/E} x:=E {P}

1 Question

votes activity newest
3
Reasons behind the choice of 172.16/192.168? [closed]

8 Tags

5
logic
5
program-verification
5
programming-languages
0
computer-networks
5
semantics
0
history
5
hoare-logic
0
protocols

6 Accounts

Computer Science Stack Exchange Computer Science 87 rep 4
Theoretical Computer Science Stack Exchange Theoretical Computer Science 48 rep 4
Mathematics Stack Exchange Mathematics 36 rep 5
Stack Overflow Stack Overflow 28 rep 3
Physics Stack Exchange Physics 1 rep
stack exchange network profile view more

4 Badges

recent class name
 Student  Editor
 Supporter  Teacher

0 Active bounties

active offered earned
This user has no active bounties

1 Vote Cast

all time   by type  
1 up 0 question
0 down 1 answer
user feed
about faq badges blog chat data legal privacy policy jobs advertising info mobile contact us feedback
Technology Life / Arts Culture / Recreation Science Other
  1. Stack Overflow
  2. Server Fault
  3. Super User
  4. Web Applications
  5. Ask Ubuntu
  6. Webmasters
  7. Game Development
  8. TeX - LaTeX
  1. Programmers
  2. Unix & Linux
  3. Ask Different (Apple)
  4. WordPress Answers
  5. Geographic Information Systems
  6. Electrical Engineering
  7. Android Enthusiasts
  8. IT Security
  1. Database Administrators
  2. Drupal Answers
  3. SharePoint
  4. User Experience
  5. Mathematica
  6. more (14)
  1. Photography
  2. Science Fiction & Fantasy
  3. Seasoned Advice (cooking)
  4. Home Improvement
  5. more (13)
  1. English Language & Usage
  2. Skeptics
  3. Mi Yodeya (Judaism)
  4. Travel
  5. Arqade (gaming)
  6. Bicycles
  7. Role-playing Games
  8. more (22)
  1. Mathematics
  2. Cross Validated (stats)
  3. Theoretical Computer Science
  4. Physics
  5. more (7)
  1. Stack Apps
  2. Meta Stack Overflow
  3. Area 51
  4. Stack Overflow Careers
site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required
rev 2013.5.24.702