Manuel Núñez

No bio available. Add one in Open Library.

Books by Manuel Núñez (50 max)

+ shelf+ list

Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings (Lecture Notes in Computer Science)

2006

Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro

+ shelf+ list

Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

2015

Manuel Núñez, Matthias Güdemann

+ shelf+ list

Cuanto vale el petróleo mexicano defraudado por la Penn Mex Fuel Company

1927

Manuel Núñez

+ shelf+ list

Stellar dynamos, nonlinearity and chaotic flows: proceedings of the international workshop held at Medina del Campo, Valladolid, Spain, 28-30 September, 1998

1999

Manuel Núñez, Antonio Ferriz-Mas

+ shelf+ list

Software Engineering and Formal Methods Sefm 2013 Collocated Workshops - Beat2, Ws-Fmds, Fm-Rail-Bok, Mokmasd, and Opencert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

2014

Steve Counsell, Manuel Núñez

+ shelf+ list

Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

2014

Steve Counsell, Manuel Núñez