Pick up Item

• Title / Author Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings / Ed Brinksma (ed.)
• Volume : pbk
• Item ID 061232004016424
• Material type 図書