vault backup: 2023-09-20 09:06:49

This commit is contained in:
Alice 2023-09-20 09:06:49 +01:00
parent 2ee194cce2
commit 2d3d522c16
6 changed files with 10 additions and 0 deletions

View file

@ -1,3 +1,4 @@
#CP
## Conteúdo ## Conteúdo
- cache em arquiteturas multicore - cache em arquiteturas multicore
- code profiling - code profiling

View file

@ -1,3 +1,4 @@
#MFES
## Programa ## Programa
1. Lógicas para especificação formal 1. Lógicas para especificação formal

View file

@ -1,3 +1,4 @@
#MFES
# Conteúdo # Conteúdo
1. [[T - Aula 2 - 18 Setembro 2023#1. Intro|Intro]] 1. [[T - Aula 2 - 18 Setembro 2023#1. Intro|Intro]]
1. [[T - Aula 2 - 18 Setembro 2023#1.1 SAT|SAT]] 1. [[T - Aula 2 - 18 Setembro 2023#1.1 SAT|SAT]]

View file

@ -1,3 +1,4 @@
#MFES
## Ficha 1 ## Ficha 1
> [!note] > [!note]

View file

@ -1,3 +1,4 @@
#RAS
## Contents ## Contents
1. [[T - Aula 2 - 19 Setembro 2023#Definition of Requirement|Definition of requirement]] 1. [[T - Aula 2 - 19 Setembro 2023#Definition of Requirement|Definition of requirement]]
2. [[T - Aula 2 - 19 Setembro 2023#Functional requirements|Functional requirements]] 2. [[T - Aula 2 - 19 Setembro 2023#Functional requirements|Functional requirements]]

View file

@ -0,0 +1,5 @@
#RAS
>[!question]+
>
>