Verified Software Theories, Tools, Experiments /
Na minha lista:
Principais autores: | Shankar, Natarajan, Woodcock, Jim, SpringerLink (Online service), International Conference, VSTTE 2008 |
---|---|
Formato: | Digital |
Publicado em: |
|
Assuntos: | |
Endereço do item: | http://dx.doi.org/10.1007/978-3-540-87873-5 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Verified Software Theories, Tools, Experiments /
por: Meyer, Bertrand, et al.
Publicado em: (2022) -
Grammatical Inference Algorithms and Applications /
por: Clark, Alexander, et al.
Publicado em: (2022) -
Logic, language, information and computation : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings /
por: Ono, Hiroakira., et al.
Publicado em: (2022) -
Nonmonotonic reasoning : an overview /
por: Brewka, Gerhard., et al.
Publicado em: (2022) -
Nonmonotonic reasoning /
por: Antoniou, G., et al.
Publicado em: (2022)