Formal techniques for networked and distributed systems - FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings


FORTE 2005
Bok Engelsk 2005

Detaljer

Bibliotek som har denne