Yazar
Hutton, Graham. editor. (orcid)0000-0001-9584-5150
Format:
Electronic Resources
Alıntı:
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal
Yazar
Hinze, Ralf. editor.
Format:
Electronic Resources
Alıntı:
Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany
View Other Search Results
Yazar
Franke, Björn. editor.
Format:
Electronic Resources
Alıntı:
Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint
Yazar
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics
Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference
Yazar
Liu, Zhiming. editor.
Format:
Electronic Resources
Alıntı:
, fault-tolerance and real-time requirements. The techniques include model checking, correctness by construction
Yazar
Bonsangue, Marcello M. editor.
Format:
Electronic Resources
Alıntı:
Adjunctions to Coalgebras to (Re)Discover Automata Constructions -- Canonical Nondeterministic Automata
Yazar
Braga, Christiano. editor.
Format:
Electronic Resources
Alıntı:
the construction of high quality computational systems, aiming to promote opportunities for
Arama Sonuçlarını Sınırlandır
Daraltılmış: