Articoli correlati a Formal Methods in Programming and Their Applications:...

Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 : Proceedings - Brossura

Bjorner, Dines; Broy, Manfred & Pottosin, Igor

 
9780387573168: Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 : Proceedings