Home Advanced Search

Advanced Search - Page 1

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected ... / Programming and Software Engineering)
  • PDF
  • English
  • Year: 2009
  • Author: Marcel Vinícius Medeiros Oliveira, Jim Woodcock
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Nicolas Blanc, Daniel Kroening (auth.), Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.)
Tipificação do desaparecimento forçado de pessoas no direito brasileiro: problemas decorrentes da interconexão entre direito penal internacional e direito penal
  • PDF
  • portuguese
  • Year: 2016
  • Author: Marcus Vinícius Xavier de Oliveira
Temas escolhidos sobre a internacionalização do Direito Penal
  • PDF
  • portuguese
  • Year: 2015
  • Author: Marcus Vinícius Xavier de Oliveira
Estudos sobre a Jurisdição (Penal) Internacional: formas de implementação, expansão, fragmentação e actio popularis
  • PDF
  • portuguese
  • Year: 2020
  • Author: DE OLIVEIRA, Marcus Vinícius Xavier
Estudos e Interlocuções em Direito Internacional, Filosofia Política e Literatura
  • PDF
  • Portuguese
  • Year: 2022
  • Author: DE OLIVEIRA, Marcus Vinícius Xavier
Estudos de Direito Internacional, Teoria e Filosofia do Direito
  • PDF
  • Portuguese
  • Year: 2022
  • Author: DE OLIVEIRA, Marcus Vinícius Xavier
Using Z: Specification, Refinement, and Proof
  • PDF
  • English
  • Year: 1996
  • Author: Jim Woodcock, Jim Davies
Using Z.Specification,refinement,and proof
  • PDF
  • English
  • Year: 1996
  • Author: Jim Woodcock, Jim Davies
Direito Internacional e (sua) Filosofia
  • PDF
  • portuguese
  • Year: 2019
  • Author: Marcus Vinícius Xavier de Oliveira et all
search