Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
Abstract State Machines and Computationally Complete Query LanguagesBlass, Andreas ; Gurevich, Yuri ; Bussche, Jan Van den Kutter, Philipp W. ; Thiele, Lothar ; Gurevich, Yuri ; Odersky, MartinAbstract State Machines - Theory and Applications, 2002, p.22-33 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |