60767

Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020 Dublin, Ireland, April 25–30, 2020, Proceedings

Switzerland Springer

2020

560

9783030452346

انگليسي

Topological Proofs , Instrument Iterative , Java 8 Streams