( en | de | ru )

 

Disambiguierung von "Rivera, Victor"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Teaching Programming and Design-by-Contract.

, , , , , , , und . CoRR, (2017)

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.

Victor Blandón Rivera

Victor Téllez Rivera

José Rivera

Eugenio Rivera

Manuel Rivera

 

Weitere Publikationen von Autoren mit dem selben Namen

Teaching Programming and Design-by-Contract., , , , , , , und . CoRR, (2017)Microservices Science and Engineering., , , , , und . SEDA, Volume 717 von Advances in Intelligent Systems and Computing, Seite 11-20. Springer, (2016)Gene Expression for Simulation of Biological Tissue., , , , und . AINA Workshops, Seite 232-239. IEEE Computer Society, (2018)An Architecture for Distributed Ledger-Based M2M Auditing for Electric Autonomous Vehicles., , , , , und . AINA Workshops, Volume 927 von Advances in Intelligent Systems and Computing, Seite 116-128. Springer, (2019)Link Prediction Using Top-k Shortest Distances., , , und . BICOD, Volume 10365 von Lecture Notes in Computer Science, Seite 101-105. Springer, (2017)AutoFrame: Automatic Frame Inference for Object-Oriented Languages., und . CoRR, (2018)EventB2Java: A Code Generator for Event-B., und . NFM, Volume 9690 von Lecture Notes in Computer Science, Seite 166-171. Springer, (2016)Translating B machines to JML specifications., , , , und . SAC, Seite 1271-1277. ACM, (2012)Code generation for Event-B., , , und . Int. J. Softw. Tools Technol. Transf., 19 (1): 31-52 (2017)Model Checking in multiplayer games development., , , und . CoRR, (2017)