Home
Recent
Comments
Search
Login
Search
Search:
Stories
Comments
Order By:
Relevance
Newest
Points
3 results for "domain:di.unipi.it"
3
The Abstract State Machines Method for Modular Design and Analysis of Programming Languages (2013)
☶
pdf
formalmethods
java
plt
programming
pages.di.unipi.it
via
nickpsecurity
2 months ago
|
cached
|
no comments
0
8
Abstract State Machines Method for High-level System Design and Analysis (2007)
pdf
compsci
programming
di.unipi.it
via
nickpsecurity
1 year ago
|
cached
|
3 comments
3
18
The Plan-9 Effect or why you should not fix it if it ain't broken
unix
di.unipi.it
via
pushcx
2 years ago
|
cached
|
4 comments
4