Yazar
Soeken, Mathias. author.
Format:
Electronic Resources
Alıntı:
Formal Specification Level Concepts, Methods, and Algorithms / Soeken, Mathias. author.
Yazar
Holt, Jon
Format:
Electronic Resources
Alıntı:
formal specification.
View Other Search Results
Yazar
Iida, Shusaku. editor.
Format:
Electronic Resources
Alıntı:
Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi / Iida, Shusaku. editor.
Yazar
Liu, Shaoying. editor.
Format:
Electronic Resources
Alıntı:
Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015
Yazar
Núñez, Manuel. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway
Yazar
Alagić, Suad. author.
Format:
Electronic Resources
Alıntı:
, specification of the object-oriented platform, more advanced concurrent models, database integrity constraints
Yazar
Massoni, Tiago. editor. (orcid)0000-0002-9423-7556
Format:
Electronic Resources
Alıntı:
Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil
Yazar
Alagić, Suad. author.
Format:
Electronic Resources
Alıntı:
Software Engineering: Specification, Implementation, Verification Alagić, Suad. author.
Yazar
Graf, Susanne. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International
Yazar
Baldoni, Matteo. editor.
Format:
Electronic Resources
Alıntı:
declarative technologies for specification, verification and engineering of MAS -- MAS software engineering
Yazar
Havelund, Klaus. editor.
Format:
Electronic Resources
Alıntı:
NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International
Arama Sonuçlarını Sınırlandır