Yazar
Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481
Format:
Electronic Resources
Alıntı:
Verification and Evaluation of Computer and Communication Systems 12th International Conference
Yazar
Gallagher, John P. editor. (orcid)0000-0001-6984-7419
Format:
Electronic Resources
Alıntı:
Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11
Yazar
Kurgalin, Sergei. author.
Format:
Electronic Resources
Alıntı:
Discrete Mathematics in Computer Science. http://scigraph.springernature.com/things/product-market