12 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Podelski, Andreas. editor.
Format:
Electronic Resources
Alıntı:
Logic design.
Yazar
Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831
Format:
Electronic Resources
Alıntı:
Logic design.
View Other Search Results
Yazar
Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331
Format:
Electronic Resources
Alıntı:
Logic design.
Yazar
Colombo, Christian. editor.
Format:
Electronic Resources
Alıntı:
Logic design.
Yazar
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
Format:
Electronic Resources
Alıntı:
Logic design.
Yazar
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
Format:
Electronic Resources
Alıntı:
Logic design.
Yazar
Dubois, Catherine. editor.
Format:
Electronic Resources
Alıntı:
Logic design.
Yazar
Piskac, Ruzica. editor.
Format:
Electronic Resources
Alıntı:
Logic design.
Yazar
Proença, José. editor.
Format:
Electronic Resources
Alıntı:
Logic design.
Yazar
Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market
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
Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613
Format:
Electronic Resources
Alıntı:
: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A
12 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: