Yazar
Ghosh, Sujata. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Havelund, Klaus. editor. (orcid)0000-0001-7079-0472
Format:
Electronic Resources
Alıntı:
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic
View Other Search Results
Yazar
van der Aalst, Wil. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
McIver, Annabelle. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Abate, Alessandro. editor. (orcid)0000-0002-5627-9093
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
James, Phillip. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Bertrand, Nathalie. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Ölveczky, Peter Csaba. author.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
Yazar
Li, Xuandong. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Furia, Carlo A. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
Arama Sonuçlarını Sınırlandır
Daraltılmış: