Yazar
Cavalheiro, Simone. editor. (orcid)0000-0002-7442-7379
Format:
Electronic Resources
Alıntı:
-- Semantics and languages.
Yazar
Gallagher, John P. editor. (orcid)0000-0001-6984-7419
Format:
Electronic Resources
Alıntı:
carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory
View Other Search Results
Yazar
Sun, Jing. editor.
Format:
Electronic Resources
Alıntı:
; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and
Yazar
Rensink, Arend. editor. (orcid)0000-0002-1714-6319
Format:
Electronic Resources
Alıntı:
Transformation in Coq -- A Formal Framework for Prototyping Executable Semantics in ATL -- Scalable Model
Yazar
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261
Format:
Electronic Resources
Alıntı:
Administrative Data Processing Ontologies -- Databases -- Semantics.-Cooperative Information Systems -- Cloud
Yazar
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
Format:
Electronic Resources
Alıntı:
; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive
Yazar
Damiani, Ernesto. editor.
Format:
Electronic Resources
Alıntı:
-- A Cloud-based Service for the Visualization and Monitoring of Factories -- An Operational Semantics
Yazar
Chang, Bor-Yuh Evan. editor.
Format:
Electronic Resources
Alıntı:
: Maintaining the ORDER -- Semantics -- A Computational Interpretation of Context-Free Expressions -- Partiality
Yazar
Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905
Format:
Electronic Resources
Alıntı:
Memory-Aware Verified C Compiler Using Pointer as Integer Semantics -- Formal Verification of a Floating-Point
Yazar
Daimi, Kevin. editor.
Format:
Electronic Resources
Alıntı:
APPLICATIONS -- Chapter 25. Generic Semantics Specification and Processing for Inter-System Information Flow
Arama Sonuçlarını Sınırlandır
Daraltılmış: