전자책
The B Language and Method : A Guide to Practical Formal Development
Document Type
Book
Author
Lano, Kevin
Publisher
Springer Verlag London Ltd
eISBN
978-1-4471-1494-9
Subject
Science -- Mathematics; Engineering and Technology; Engineering; COMPUTERS / Software Development & Engineering / General;
Online Access
문의하기
051-510-1805(구독문의), 1832(접속문의)
중앙도서관 1층 자료개발팀, 3층 전산지원팀