Yazar
Bjørner, Nikolaj. editor.
Format:
Electronic Resources
Alıntı:
Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI
Yazar
Bojańczyk, Mikołaj. editor.
Format:
Electronic Resources
Alıntı:
2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019
View Other Search Results
Yazar
De Nicola, Rocco. editor.
Format:
Electronic Resources
Alıntı:
Component-Based Systems -- Tightening a Contract Refinement -- BMotionWeb: A Tool for Rapid Creation of Formal
Yazar
Wirsing, Martin. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering for Collective Autonomic Systems The ASCENS Approach / Wirsing, Martin. editor.
Arama Sonuçlarını Sınırlandır
Daraltılmış: