( en | de | ru )

 

Disambiguierung von "Meyer, Bertrand"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Where Is Software Headed? A Virtual Roundtable.

, , , , , , , , , , , , , und . Computer, 28 (8): 20-32 (1995)

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.

Bertrand Hirl

Bertrand Gloddek

Joachim Bertrand

Jessica Bertrand

Bertrand Malmendier

 

Weitere Publikationen von Autoren mit dem selben Namen

Unifying Requirements and Code: an Example., , und . CoRR, (2016)Systematic Concurrent Object-Oriented Programming.. Commun. ACM, 36 (9): 56-80 (1993)A comparative study of programmer-written and automatically inferred contracts., , und . ISSTA, Seite 93-104. ACM, (2009)Experimental assessment of random testing for object-oriented software., , , und . ISSTA, Seite 84-94. ACM, (2007)Certificates and Separation Logic., , und . TGC, Volume 8358 von Lecture Notes in Computer Science, Seite 273-293. Springer, (2013)Flexible Invariants through Semantic Collaboration., , , und . FM, Volume 8442 von Lecture Notes in Computer Science, Seite 514-530. Springer, (2014)Specifying Reusable Components., , und . VSTTE, Volume 6217 von Lecture Notes in Computer Science, Seite 127-141. Springer, (2010)Program Checking with Less Hassle., , , und . VSTTE, Volume 8164 von Lecture Notes in Computer Science, Seite 149-169. Springer, (2013)Specification Language., , und . On the Construction of Programs, Cambridge University Press, (1980)Pattern Componentization: The Factory Example., und . Innov. Syst. Softw. Eng., 2 (2): 65-79 (2006)