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

Autore: 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.