Your search returned 59 results.

Results
	1.	Agent technology from a formal perspective / edited by Christopher A. Rouff with Michael Hinchey ... [et al.] by Rouff, Chris, 1960- Hinchey, Michael G. (Michael Gerard), 1969- Series: NASA monographs in systems and software engineering Publication details: New York : Springer, 2005 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.76.I58A354. Place hold
	2.	Algebraic informatics [electronic resource] : third international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings / edited by Symeon Bozapalidis, George Rahonis. by CAI 2009 (2009 : Thessalonike, Greece) Bozapalidis, Symeon Rahonis, George SpringerLink (Online service) Series: Lecture notes in computer science ; 5725 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	3.	No cover image available Collaborative model for preparing formal software specification document / Mohamed Ahmed Sullabi by Sullabi, Mohamed Ahmed Publication details: 2008 Dissertation note: Thesis (Ph.D) - Universiti Kebangsaan Malaysia, 2008 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.76.D47S85 2008 tesis[00008051206]. Place hold
	4.	Countering Counterfeit Trade [electronic resource] : Illicit Market Insights, Best-Practice Strategies, and Management Toolbox / by Thorsten Staake, Elgar Fleisch. by Staake, Thorsten Fleisch, Elgar SpringerLink (Online service) Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	5.	FM 2006: Formal Methods [electronic resource] : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings / edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski. by International Symposium of Formal Methods Europe (14th : 2006 : Hamilton, Ont.) Misra, Jayadev Nipkow, Tobias Sekerinski, Emil SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4085 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	6.	FM 2008: Formal Methods [electronic resource] : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings / edited by Jorge Cuellar, Tom Maibaum, Kaisa Sere. by International Symposium on Formal Methods (15th : 2008 : Turku, Finland) Cuellar, Jorge Maibaum, Tom Sere, Kaisa SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5014 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	7.	FM 2009 [electronic resource] : formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / edited by Ana Cavalcanti, Dennis Dams. by International Symposium of Formal Methods Europe (16th : 2009 : Eindhove, The Netherlands) Cavalcanti, Ana Dams, Dennis SpringerLink (Online service) Series: Lecture notes in computer science ; 5850 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	8.	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 ... [et al.]. by FATES/RV 2006 (2006 : Seattle, Wash.) Havelund, Klaus SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4262 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	9.	Formal Approaches to Software Testing (vol. # 3997) [electronic resource] : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers / edited by Wolfgang Grieskamp, Carsten Weise. by FATES 2005 (2005 : Edinburgh, Scotland) Grieskamp, Wolfgang Weise, Carsten SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3997 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	10.	Formal aspects in security and trust [electronic resource] : 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 revised selected papers / edited by Pierpaolo Degano, Joshua D. Guttman. by FAST 2009 (2009 : Eindhoven, Netherlands) Degano, Pierpaolo Guttman, Joshua D SpringerLink (Online service) Series: Lecture notes in computer science ; 5983 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	11.	Formal aspects in security and trust [electronic resource] : 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers / edited by Pierpaolo Degano, Joshua Guttman, Fabio Martinelli. by FAST 2008 (2008 : Malaga, Spain) Degano, Pierpaolo Guttman, Joshua Martinelli, Fabio SpringerLink (Online service) Series: Lecture notes in computer science ; 5491 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: FAST 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	12.	Formal Aspects in Security and Trust (vol. # 3866) [electronic resource] : Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers / edited by Theo Dimitrakos ... [et al.]. by FAST 2005 (2005 : Newcastle upon Tyne, England) Dimitrakos, Theo SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3866 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	13.	Formal Aspects in Security and Trust [electronic resource] : IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France / edited by Theo Dimitrakos, Fabio Martinelli. by Workshop on Formal Aspects in Security and Trust (2nd : 2004 : Toulouse, France) Dimitrakos, Theo Martinelli, Fabio SpringerLink (Online service) Series: IFIP International Federation for Information Processing ; 173 Publication details: Boston, MA : International Federation for Information Processing, 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	14.	Formal methods [electronic resource] : foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers / edited by Marcel Vinicius Medeiros Oliveira, Jim Woodcock. by Brazilian Symposium on Formal Methods (12th : 2009 : Gramado, Brazil) Oliveira, Marcel Vinicius Medeiros Woodcock, Jim SpringerLink (Online service) Series: Lecture notes in computer science ; 5902 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	15.	Formal methods [electronic resource] : state of the art and new directions / edited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi. by Boca, Paul Bowen, Jonathan P Siddiqi, Jawed SpringerLink (Online service) Publication details: London : Springer-Verlag London, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	16.	Formal Methods and Software Engineering (vol. # 4260) [electronic resource] : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings / edited by Zhiming Liu, Jifeng He. by International Conference on Formal Engineering Methods (8th : 2006 : Macau, China) Liu, Zhiming He, Jifeng SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4260 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	17.	Formal methods and software engineering [electronic resource] : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings / edited by Karin Breitman, Ana Cavalcanti. by International Conference on Formal Engineering Methods (11th : 2009 : Rio de Janeiro, Brazil) Breitman, Karin Cavalcanti, Ana SpringerLink (Online service) Series: Lecture notes in computer science ; 5885 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 Other title: ICFEM 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	18.	Formal Methods and Software Engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings [electronic resource] / edited by Kung-Kiu Lau, Richard Banach ... [et al.]. by International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England) Banach, Richard Lau, Kung-Kiu SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3785 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	19.	Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings / edited by Andras Horvath, Miklos Telek. by EPEW 2006 (2006 : Budapest, Hungary) Horvath, Andras Telek, Miklos SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4054 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	20.	Formal methods and testing [electronic resource] : an outcome of the FORTEST network : revised selected papers / Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.). by Hierons, Robert M Bowen, J. P. (Jonathan Peter), 1956- Harman, Mark SpringerLink (Online service) Series: Lecture notes in computer science ; 4949 \| LNCS sublibrary. SL 2, Programming and software engineering Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.

1
2
3
Next
Last

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library