Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings


Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)
Bok Engelsk 1993

Detaljer

Bibliotek som har denne