Artículos relacionados 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 (Lecture Notes in Computer Science, 735) - Tapa blanda

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 (Lecture Notes in Computer Science, 735)