Db_violate()

Db_violated() è una funzione che ho trovato in un articolo di M. Lowry e M. Subramaniam del 1998 (sono due ricercatori della NASA), Abstraction for analytic verification of concurrent software systems. L’articolo è incomprensibile, ed è in formato Post Script, per cui avrete bisogno di un editore di immagini per vederlo…

Uomini che violano / Men that violate
Uomini che violano / Men that violate

Di Andy War

Born in Naples, 1965, lived in Princeton and France, then back to Italy. Comics. Grendizer, Star Wars, Lucky Luke. Architecture, Punk Rock. Sciattoproduzie, structures. Digital animations, running, hospitals. I live and work in Rome, married with two children.

Lascia un commento

Il tuo indirizzo email non sarà pubblicato. I campi obbligatori sono contrassegnati *

Questo sito usa Akismet per ridurre lo spam. Scopri come i tuoi dati vengono elaborati.