Taylor's Library catalog › Results of search for 'an=8110'

Your search returned 8 results.

Not what you expected? Check for suggestions

		Practical UML statecharts in C/C++ : event-driven programming for embedded systems / Miro Samek. by Samek, Miro. Edition: 2nd ed.Publisher: Amsterdam ; Boston : Elsevier/Newnes, c2009Availability: Items available for loan: Taylor's Library-TU [Call number: 005.117 SAM 2009] (1). Place hold
		Verification techniques for system-level design [electronic resource] / Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad. by Fujita, Masahiro, 1956- \| Ghosh, Indradeep, 1970- \| Prasad, Mukul \| ebrary, Inc. Publisher: Amsterdam ; Boston : Morgan Kaufmann Publishers, c2008Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: [Call number: 621.3815] (1). Place hold
		No cover image available Modeling and verification using UML statecharts [electronic resource] : a working guide to reactive system design, runtime monitoring, and execution-based model checking / Doron Drusinsky. by Drusinsky, Doron \| ebrary, Inc. Publisher: Burlington, MA : Newnes, c2006Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: [Call number: 005.1/17] (1). Place hold
		Formal methods for industrial critical systems a survey of applications / edited by Stefania Gnesi, Tiziana Margaria. by Gnesi, Stefania, 1954- [editor.] \| Margaria-Steffen, Tiziana, 1964- [editor.]. Publisher: [Washington, DC] : Hoboken, New Jersey : IEEE Computer Society ; Wiley, [2013]Copyright date: ©2013Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for reference: Taylor's Library-TU [Call number: 004.01/51] (1).