A INTERDISCIPLINARIDADE ENTRE AS LEIS DE KIRCHHOFF, SISTEMAS LINEARES E LÓGICA DE PROGRAMAÇÃO
Denis Carlos Lima Costa, Reno Silva Nooblath, Ana Beatriz das Neves da Silva, Aguinaldo de Jesus Moraes Marques, André renan dos santos da silva
Topics & Concepts
PhysicsFormal Methods in VerificationLogic, programming, and type systems