Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-3 of 3)
Maibaum, Thomas S. E., 1947-
1
E-book
2008

FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings


International Symposium of Formal Methods Europe (15th : 2008 : Turku, Finland)
Berlin ; New York : Springer, [2008]

Rating:

 
 
2
E-book
2008

Formal Methods and Software Engineering.


International Conference on Formal Engineering Methods (2008 : Kitakyushu-City, Japan)
Berlin : Springer, [2008]

Rating:

 
 
3
E-book
2000

Handbook of logic in computer science.



Oxford : Clarendon Press ; New York : Oxford University Press, 2000

Rating:

 
 
Add Marked to Bag Add All On Page
Locate in results