( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Computational thinking for beginners: A successful experience using Prolog.

, , , , , , , , , , , и . CILC, том 1459 из CEUR Workshop Proceedings, стр. 31-45. CEUR-WS.org, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Giorgio Cortellaro

Giorgio Stefanoni

Giorgio Pudelko

Giorgio Borea

Giorgio Gonnella

 

Другие публикации лиц с тем же именем

Graph- versus Vector-Based Analysis of a Consensus Protocol., , и . GRAPHITE, том 159 из EPTCS, стр. 44-57. (2014)Towards the Automated Verification of Multithreaded Java Programs., , и . TACAS, том 2280 из Lecture Notes in Computer Science, стр. 173-187. Springer, (2002)Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets., , и . TACAS, том 2031 из Lecture Notes in Computer Science, стр. 435-449. Springer, (2001)Push-Down Automata with Gap-Order Constraints., , , и . FSEN, том 8161 из Lecture Notes in Computer Science, стр. 199-216. Springer, (2013)Parameterized Verification and Model Checking for Distributed Broadcast Protocols.. ICGT, том 8571 из Lecture Notes in Computer Science, стр. 1-16. Springer, (2014)A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations., , и . LATA, том 5457 из Lecture Notes in Computer Science, стр. 71-82. Springer, (2009)Orchestrated crowdsourced testing of a mobile web application: a case study., , , , , и . Programming, стр. 17:1-17:6. ACM, (2019)An Effective Fixpoint Semantics for Linear Logic Programs, , и . CoRR, (2001)A specification logic for concurrent object-oriented programming., , и . Math. Struct. Comput. Sci., 9 (3): 253-286 (1999)Constraint-Based Verification of Parameterized Cache Coherence Protocols.. Formal Methods Syst. Des., 23 (3): 257-301 (2003)