Não gostou? Não há problema! Pode devolver os artigos até 30 dias
Não há como errar com um vale de oferta. O presenteado pode escolher qualquer produto da nossa oferta.
Até 30 dias para devoluções
Offers an introduction to LOTOS highlighting how the approach differs from competitor techniques such as CCS and CSP. The authors also generalise the simple communicating automata notation to yield timed automata with multi-way synchronisation using model-checking verification methods and new techniques to prevent time-locks from arising.
Olá! Sou o Libroamiko, o seu conselheiro de livros.
Como posso ajudar?