Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-4 of 4)
Martí-Oliet, N. (Narciso),
1
E-book
2015

Formal methods : foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings


Brazilian Symposium on Formal Methods (17th : 2014 : Maceió, Brazil)
Cham : Springer, 2015

Rating:

 
 
3
E-book
2013

Recent trends in algebraic development techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers


WADT (Workshop) (21st : 2012 : Salamanca, Spain)
Berlin ; New York : Springer, [2013]

Rating:

 
 
Add Marked to Bag Add All On Page
Locate in results