( en | de | ru )

 

Disambiguierung von "Horning, James J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Using Transformations and Verification in Circuit Design.

, , , und . Larch, Seite 201-226. Springer, (1992)

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.

Katherine James

Audrein James

Michael James

Ammini James-Mammoottil

Rojin James

 

Weitere Publikationen von Autoren mit dem selben Namen

Verification of Euclid Programs.. Program Construction, Volume 69 von Lecture Notes in Computer Science, Seite 164-173. Springer, (1978)A Tutorial on LARCH and LCL, A LARCH/C Interface Language., und . VDM Europe (2), Volume 552 von Lecture Notes in Computer Science, Seite 1-78. Springer, (1991)An Introduction to the Larch Shared Language., und . IFIP Congress, Seite 809-814. North-Holland/IFIP, (1983)Notes on the Design of Euclid., , , , und . Language Design for Reliable Software, Seite 11-18. ACM, (1977)SIGPLAN 1: Should high level languages be used to write systems software? (Debate)., , und . ACM Annual Conference, Seite 204. ACM, (1975)Debugging Larch Shared Language Specifications., , und . IEEE Trans. Software Eng., 16 (9): 1044-1057 (1990)Larch: Languages and Tools for Formal Specification, , , , , und . Texts and Monographs in Computer Science Springer, (1993)A program structure for error detection and recovery., , , und . Symposium on Operating Systems, Volume 16 von Lecture Notes in Computer Science, Seite 171-187. Springer, (1974)The Development and Writing of "Process Structuring".. Dependable and Historic Computing, Volume 6875 von Lecture Notes in Computer Science, Seite 267-272. Springer, (2011)Structuring Compiler Development.. Compiler Construction, Volume 21 von Lecture Notes in Computer Science, Seite 498-513. Springer, (1976)