Formal methods and software engineering : 19th international conference proceedings on formal engineering methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 (e-book)
Material type:
TextLanguage: English Series: Lecture Notes in Computer Science ; v.10610Publication details: Cham Springer 2017ISBN: 978-3-319-68690-5ISSN: 1611-3349Subject(s): Software Engineering -- Congresses | Programming Techniques -- Congresses | Programming Languages -- Congresses | Mathematical Logic -- Congresses | Computer communication networks -- CongressesOnline resources: DOI URL
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
E-Books
|
Central Library, IITB Online | Online | EBK5191 |
Total holds: 0
There are no comments on this title.