Yazar
kim g larsen
6 cilt bulundu.
Cilt sonuçları
Automata, Languages and Programming
Kim G. Larsen, Sven Skyum, Glynn Winskel, Gerhard Goos, Juris Hartmanis · Springer
932 sayfa · 1998
Machine theory / Congresses / Computer science / Mathematics / Programming languages (Electronic computers)
A complete protocol verification using revitalized bisimulation
Kim G. Larsen · University of Edinburgh, Laboratory for Foundations of Computer Science
34 sayfa · 1986
Kategori yok