( en | de | ru )

 

Disambiguierung von "Sitaraman, Murali"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An ACM 2013 exemplar course integrating fundamentals, languages, and software engineering.

, , , und . SIGCSE, Seite 211-216. ACM, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Aarthi Murali

Murali Sukumaran

Kota Murali

Murali Krishna Bollepalli

NULL Murali Dama

 

Weitere Publikationen von Autoren mit dem selben Namen

How Can We Engage in Inclusive, Culturally Responsive Computer Science?, , und . SIGCSE, Seite 1251. ACM, (2019)A Case Study in Verification of Embedded Network Software., , , , , und . NASA Formal Methods, Volume 7226 von Lecture Notes in Computer Science, Seite 433-448. Springer, (2012)Model variables: cleanly supporting abstraction in design by contract., , , und . Softw. Pract. Exp., 35 (6): 583-599 (2005)Evaluation of Formal Reasoning Abilities Using a Concept Inventory., und . FMSEE&T@FM, Volume 1385 von CEUR Workshop Proceedings, Seite 59-66. CEUR-WS.org, (2015)A class of programming language mechanisms to facilitate multiple implementations of the same specification.. ICCL, Seite 272-281. IEEE Computer Society, (1992)Engaging students in specification and reasoning: "hands-on" experimentation and evaluation., , , , , , , und . ITiCSE, Seite 50-54. ACM, (2009)Making mathematical reasoning fun: web-integrated, collaborative, and "Hands-On" Techniques (abstract only)., , , und . SIGCSE, Seite 757. ACM, (2013)Engaging mathematical reasoning exercises., , , , und . SIGCSE, Seite 459-460. ACM, (2013)Special session: "hands-on" tutorial: teaching software correctness with RESOLVE., und . SIGCSE, Seite 625-626. ACM, (2014)An ACM 2013 exemplar course integrating fundamentals, languages, and software engineering., , , und . SIGCSE, Seite 211-216. ACM, (2014)