( en | de | ru )

 

Disambiguierung von "Lau, Kung-Kiu"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Beginner's Course on Reasoning About Imperative Programs.

. TFM, Volume 3294 von Lecture Notes in Computer Science, Seite 1-16. Springer, (2004)

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.

Zigmas Kungys

Hans Kungl

Angela Brigitte Kung

Martin Kiuntke

Matti Kiupel

 

Weitere Publikationen von Autoren mit dem selben Namen

On Specification Frameworks and Deductive Synthesis of Logic Programs., und . LOPSTR, Volume 883 von Lecture Notes in Computer Science, Seite 104-121. Springer, (1994)On Correct Program Schemas., , und . LOPSTR, Volume 1463 von Lecture Notes in Computer Science, Seite 128-147. Springer, (1997)Forms of Logic Specifications: A Preliminary Study., und . LOPSTR, Volume 1207 von Lecture Notes in Computer Science, Seite 295-312. Springer, (1996)On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic., , , und . LOPSTR, Volume 1817 von Lecture Notes in Computer Science, Seite 42-61. Springer, (1999)Isoinitial Models for Logic Programs: Some Preliminary Results., und . ICLP, Seite 611. MIT Press, (1999)Towards Defining Families of Systems in IoT: Logical Architectures with Variation Points., , , und . IoT 360 (1), Volume 169 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 419-426. (2015)Active learning sheets for a beginner's course on reasoning about imperative programs.. SIGCSE, Seite 198-202. ACM, (2007)Using SPARK for a beginner's course on reasoning about imperative programs.. SIGAda, Seite 75-78. ACM, (2007)Composite Web Services., und . WEWST, Volume 313 von CEUR Workshop Proceedings, CEUR-WS.org, (2007)Synthesis of a Family of Recursive Sorting Procedures., und . ISLP, Seite 641-658. MIT Press, (1991)