Your search returned 7 results.

Results
	1.		Image from Amazon.com	Web Services and Formal Methods [electronic resource] : Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings / edited by Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro. by Bravetti, Mario [editor.] Núñez, Manuel [editor.] Zavattaro, Gianluigi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4184Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	2.		Image from Amazon.com	Formal Approaches to Software Testing and Runtime Verification [electronic resource] : First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers / edited by Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff. by Havelund, Klaus [editor.] Núñez, Manuel [editor.] Roşu, Grigore [editor.] Wolff, Burkhart [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4262Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	3.		Image from Amazon.com	Formal Methods for Industrial Critical Systems [electronic resource] : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / edited by Manuel Núñez, Matthias Güdemann. by Núñez, Manuel [editor.] Güdemann, Matthias [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9128Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	4.		Image from Amazon.com	Computational Collective Intelligence [electronic resource] : 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I / edited by Manuel Núñez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawiński. by Núñez, Manuel [editor.] Nguyen, Ngoc Thanh [editor.] Camacho, David [editor.] Trawiński, Bogdan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9329 Edition: 1st ed. 2015. Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	5.		Image from Amazon.com	Computational Collective Intelligence [electronic resource] : 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II / edited by Manuel Núñez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawiński. by Núñez, Manuel [editor.] Nguyen, Ngoc Thanh [editor.] Camacho, David [editor.] Trawiński, Bogdan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9330 Edition: 1st ed. 2015. Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	6.		Image from Amazon.com	Software Engineering and Formal Methods [electronic resource] : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers / edited by Steve Counsell, Manuel Núñez. by Counsell, Steve [editor.] Núñez, Manuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8368Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	7.		Image from Amazon.com	Testing of Software and Communication Systems [electronic resource] : 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings / edited by Manuel Núñez, Paul Baker, Mercedes G. Merayo. by Núñez, Manuel [editor.] Baker, Paul [editor.] Merayo, Mercedes G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5826Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)

Copyright © 2020 Alfaisal University Library. All Rights Reserved.
Tel: +966 11 2158948 Fax: +966 11 2157910 Email: librarian@alfaisal.edu