Yazar
McIver, Annabelle. editor.
Format:
Electronic Resources
Alıntı:
Logic design.
Yazar
Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303
Format:
Electronic Resources
Alıntı:
Logic design.
View Other Search Results
Yazar
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
Logic design.
Yazar
Ciucci, Davide. editor. (orcid)0000-0002-8083-7809
Format:
Electronic Resources
Alıntı:
Logic design.
Yazar
Bernardo, Marco. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design
Yazar
Bernardo, Marco. editor.
Format:
Electronic Resources
Alıntı:
School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016