Software Engineering. 2, Specification of Systems and Languages

Bjorner, Dines.

Software Engineering. 2, Specification of Systems and Languages [electronic resource] / by Dines Bjorner. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006. - v. <1-3> : illustration, digital ; 24 cm. - Texts in Theoretical Computer Science An EATCS Series .

9783540331933 (electronic bk.)


Software engineering.
Computer programming.

QA76.758 / .B56 2006

005.1

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library