Manuel Núñez Books
Testing Of Software And Communication Systems: 21st Ifip Wg 6.1 International Conference, Testcom 2009 And 9th International Workshop, Fates 2009, Ein
By IFIP TC6/WG6.1 International Conference On Testing Of Communicating Systems (21st 2009 Eindhoven, The Netherlands), Manuel, Nunez, Paul Baker, Manuel Núñez, Mercedes G. Merayo, IFIP TC6/WG61 International Conference On Testing Of Communicating Sys..., Noureddine Adjir, Pierre De Saqui-Sannes, Kamel Mustapha Rahmouni (Auth.), Manuel Núñez, Paul Baker, Mercedes G. Merayo (Eds.)
This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approach...
Read More
Applying Formal Methods: Testing, Performance, And M/E-Commerce
By Fernando Rubio, Key Pousttchi, Manuel Núñez, Zakaaria Maamar, Fernando Pelayo, FormEMC (Workshop)
This Book Constitutes The Joint Refereed Proceedings Of The First International Workshop On Theory Building And Formal Methods In Electronic/mobile Commerce, Theformemc, The First European Performa...
Read More
Formal Techniques For Networked And Distributed Systems - Forte 2004
By Manuel Núñez, FORTE 2004 (2004 Madrid, Spain), David De, David De Frutos-Escrig, Frutos-Escrig, FORTE 2004
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2004, held in Madrid, Spain, in Sep...
Read More