Bill Stoddart

Bill Stoddart

2 ספרים במאגר

ספרים

Integrated formal methodsBill Stoddart

Integrated formal methods

Bill Stoddart · 2000

Unifying theories of programmingBill Stoddart

Unifying theories of programming

Bill Stoddart · 2006