Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Livre
Acesso mais rápido do que o navegador!
 

Z notation

A notação Z (pronunciada zɛd), nomeada dos Axiomas de Zermelo-Fränkel, é uma linguagem de especificação formal usada para descrever e modelar sistemas computacionais.

1 relação: Métodos formais.

Ano-novo

Ano-novo ou ano-bom é o momento em que um novo ano civil começa e um novo calendário anual é iniciado.

Novo!!: Z notation e Ano-novo · Veja mais »

Métodos formais

Na ciência da computação e engenharia de software, métodos formais são técnicas baseadas em formalismos matemáticos para a especificação, desenvolvimento e verificação dos sistemas de softwares e hardwares.

Novo!!: Z notation e Métodos formais · Veja mais »

Natal

Natal ou Dia de Natal é um feriado e festival religioso cristão comemorado anualmente em 25 de dezembro (nos países eslavos e ortodoxos, cujos calendários eram baseados no calendário juliano, o Natal é comemorado no dia 7 de janeiro).

Novo!!: Z notation e Natal · Veja mais »

Véspera de Ano-Novo

A Véspera de Ano-Novo, também chamada de réveillon, virada de ano, ou passagem de ano refere-se ao dia 31 de dezembro, precedente ao Dia de Ano-Novo nos países que seguem o calendário gregoriano.

Novo!!: Z notation e Véspera de Ano-Novo · Veja mais »

Véspera de Natal

Véspera de Natal refere-se à noite ou todo dia que precede o dia de Natal, um festival que comemora o nascimento de Jesus de Nazaré.

Novo!!: Z notation e Véspera de Natal · Veja mais »

CessanteEntrada
Ei! Agora estamos em Facebook! »