> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Konferenzbericht Titel: FDL : proceedings of the 2010 Forum on Specification & Design Languages : Southampton, UK, September 14th-16th, 2010 : FDL is an ESCI event Weitere Titel: Also known as: FDL 2010 Available from some providers with title: Specification & Design Languages (FDL 2010), 2010 Forum on Beteiligte: Kaźmierski, Thomas J. [Sonstige Person, Familie und Körperschaft] Körperschaft: Electronic Chips & Systems Design Initiative ; Institute of Electrical and Electronics Engineers Erschienen: [Piscataway, N.J.]: [IEEE], 2010 Umfang: 1 Online-Ressource (various pagings); illustrations (some color) Sprache: Englisch Schlagwörter: Computer hardware description languages Congresses ; Formal methods (Computer science) Congresses ; Software architecture Congresses ; Computer software Verification Congresses ; Software engineering Congresses ; Konferenzschrift Entstehung: Anmerkungen: Includes bibliographical references