Rongo Univesity Library catalog › Results of search for 'su:Formal methods Computer science'

Your search returned 16 results.

	1.	No cover image available Communicating embedded systems software and design : formal methods / Publication: London : \| Hoboken, N.J. : ISTE ; \| Wiley, 2010 . xii, 261 p. : Date: 2010 Availability: No items available: Add to cart (remove)
	2.	No cover image available Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea / Publication: New York : Kluwer Academic, 2001 . xii, 458 p. : Date: 2001 Availability: No items available: Add to cart (remove)
	3.	No cover image available Teamwork in multi-agent systems a formal approach / by Dunin-K�eplicz, Barbara. Publication: Hoboken, N.J. : John Wiley, 2010 . xix, 224 p. : Date: 2010 Availability: No items available: Add to cart (remove)
	4.	No cover image available Formal software development from VDM to Java / by Charatan, Quentin. Publication: Basingstoke : Palgrave Macmillan, 2004 . xi, 239 p. : , Includes index. Date: 2004 Availability: No items available: Add to cart (remove)
	5.	No cover image available Computers in language research 2 / Publication: Berlin ; \| New York : Mouton Publishers, 1983 . viii, 301 p. : , "Companion volume to Computers in language research, formal methods"--T.p. verso. Date: 1983 Availability: No items available: Add to cart (remove)
	6.	No cover image available Software specification methods Publication: London ; \| Newport Beach, CA : ISTE Ltd, 2006 . xxv, 418 p. : Date: 2006 Availability: No items available: Add to cart (remove)
	7.	No cover image available Verification techniques for system-level design by Fujita, Masahiro, Publication: Amsterdam ; \| Boston : Morgan Kaufmann Publishers, 2008 . viii, 240 p. : Date: 2008 Availability: No items available: Add to cart (remove)
	8.	No cover image available Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking / by Drusinsky, Doron. Publication: Burlington, MA : Newnes, 2006 . xii, 306 p. : Date: 2006 Availability: No items available: Add to cart (remove)
	9.	No cover image available Communicating embedded systems software and design : formal methods / Publication: London : \| Hoboken, N.J. : ISTE ; \| Wiley, 2010 . xii, 261 p. : Date: 2010 Availability: No items available: Add to cart (remove)
	10.	No cover image available Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea / Publication: New York : Kluwer Academic, 2001 . xii, 458 p. : Date: 2001 Availability: No items available: Add to cart (remove)
	11.	No cover image available Teamwork in multi-agent systems a formal approach / by Dunin-K�eplicz, Barbara. Publication: Hoboken, N.J. : John Wiley, 2010 . xix, 224 p. : Date: 2010 Availability: No items available: Add to cart (remove)
	12.	No cover image available Formal software development from VDM to Java / by Charatan, Quentin. Publication: Basingstoke : Palgrave Macmillan, 2004 . xi, 239 p. : , Includes index. Date: 2004 Availability: No items available: Add to cart (remove)
	13.	No cover image available Computers in language research 2 / Publication: Berlin ; \| New York : Mouton Publishers, 1983 . viii, 301 p. : , "Companion volume to Computers in language research, formal methods"--T.p. verso. Date: 1983 Availability: No items available: Add to cart (remove)
	14.	No cover image available Software specification methods Publication: London ; \| Newport Beach, CA : ISTE Ltd, 2006 . xxv, 418 p. : Date: 2006 Availability: No items available: Add to cart (remove)
	15.	No cover image available Verification techniques for system-level design by Fujita, Masahiro, Publication: Amsterdam ; \| Boston : Morgan Kaufmann Publishers, 2008 . viii, 240 p. : Date: 2008 Availability: No items available: Add to cart (remove)
	16.	No cover image available Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking / by Drusinsky, Doron. Publication: Burlington, MA : Newnes, 2006 . xii, 306 p. : Date: 2006 Availability: No items available: Add to cart (remove)

Powered by Koha