## Crearea unui website cu aplicații numerice utilizând platforma Java 2015 ### I. Introducere Odată cu avântul internetului și cu maturizarea infrastructurii digitale, cererea pentru aplicații web capabile să rezolve probleme complexe a...

Promela și logici temporale: verificarea sistemelor concurente

# Limbajul Promela. Logici Temporale ## Introducere Tehnologiile software moderne, din ce în ce mai complexe, cer metode riguroase de proiectare, analiză și verificare. Sistemele distribuite și cele concurente – fie ele sisteme informatice de...