10 sonuç bulundu
Tümünü Seç
0000000000DEFAULTTR
Yazar
Gurfinkel, Arie. editor.
Format:
Electronic Resources
Alıntı:
technology of software verification, through the interaction of theory development, tool evolution, and
Yazar
Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948
Format:
Electronic Resources
Alıntı:
respective fields, on important topics like model-driven software development, programming language design
View Other Search Results
Yazar
Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829
Format:
Electronic Resources
Alıntı:
Analysis -- Program development -- Term rewriting and CHR -- Theory -- Verification.
Yazar
Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448
Format:
Electronic Resources
Alıntı:
.- Performance evaluation -- Control methods -- Modeling methodologies -- Model development and analysis
Yazar
Gibson-Robinson, Thomas. editor.
Format:
Electronic Resources
Alıntı:
-- Herding Cats, Oxford Style -- Stealthy Protocols: Metrics and Open Problems -- A Specification Theory of
Yazar
Stevens, Perdita. editor.
Format:
Electronic Resources
Alıntı:
Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The
Yazar
Ciobanu, Gabriel. editor.
Format:
Electronic Resources
Alıntı:
engineering computing systems -- Service-oriented architectures: models and development methods -- Models of
Yazar
Fischer, Bernd. editor. (orcid)0000-0002-1815-218X
Format:
Electronic Resources
Alıntı:
challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools
Yazar
Howar, Falk. editor.
Format:
Electronic Resources
Alıntı:
Theory of Computation. http://scigraph.springernature.com/things/product-market-codes/I16005
Yazar
Counsell, Steve. editor.
Format:
Electronic Resources
Alıntı:
distributed systems. The Third Workshop on Formal Methods in the Development of Software (WS-FMDS). The aim
10 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: