DaftarIsitemplate
 
Call Number
620.004 2 App
Title
Applications of formal methods/edited by Michael G. Hinchey and Jonathan Bowen
Author
Publisher
London Prentince-Hall 1996
Subject
System design; Computer software-development
Location
FASILKOM-UI;