MatPlus.Net

 Website founded by
Milan Velimirović
in 2006

6:00 UTC
ISC 2020
 
  Forum*
 
 
 

Username:

Password:

Remember me

 
Forgot your
password?
Click here!
SIGN IN
to create your account if you don't already have one.
CHESS
SOLVING

Tournaments
Rating lists
1-Jul-2020

B P C F





 
 
MatPlus.Net Forum Promenade Unexpected Schnoebelen :-)
 
You can only view this page!
(1) Posted by Hauke Reddmann [Wednesday, Dec 14, 2016 21:48]

Unexpected Schnoebelen :-)


So I rented a book from the computer science library.
"Systems and Software Verification", a translation from
the French original written by Philippe Schnoebelen.
Wait, I could swear I read the name somewhere else...

TIL: Problemists have a life. This came totally
unexpected to me. Now if I only can get him to
do my homework :-)
 
(Read Only)pid=15155

No more posts


MatPlus.Net Forum Promenade Unexpected Schnoebelen :-)