Yazar
Iida, Shusaku. editor.
Format:
Electronic Resources
Alıntı:
Software engineering.
Yazar
Albert, Elvira. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International
Yazar
ter Beek, Maurice H. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification
Yazar
Bernardo, Marco. editor.
Format:
Electronic Resources
Alıntı:
School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016
Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference
Yazar
Canal, Carlos. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Software engineering.
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Software engineering.
Arama Sonuçlarını Sınırlandır
Daraltılmış: