Your search returned 3 results.

Results
		Languages, design methods, and tools for electronic system design [electronic resource] : selected contributions from FDL 2016 / Franco Fummi, Robert Wille. by Fummi, Franco [Editor.] Wille, Robert [Editor.] Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Cham, Switzerland : Springer, 2018 Online access: Click here to access online Availability: Items available for loan: Main Library (1)Call number: 621.3815 F825. Place hold Add to cart (remove)
		Languages, design methods, and tools for electronic system design [electronic resource] : selected contributions from FDL 2015 / Rolf Drechsler, Robert Wille. Series: Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Cham, Switzerland : Springer, 2016 Online access: Click here to access online Availability: Items available for loan: Main Library (1)Call number: 621.3815 D771. Place hold Add to cart (remove)
		The handbook of formal methods in human-computer interaction / [edited by] Benjamin Weyers; Judy Bowen; Alan Dix; Philippe Palanque. by Alan Dix [editor.] Judy Bowen [editor.] Philippe Palanque [editor.] Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: New York, NY : Springer Berlin Heidelberg, 2017 Online access: Click here to access online Availability: Items available for loan: Main Library (1)Call number: 004.0151 H236. Place hold Add to cart (remove)

Refine your search