Java software development with event B : a practical guide (e-book)
Material type:
TextLanguage: English Series: Synthesis lectures on software engineeringPublication details: San Rafael Morgan and Claypool / IEEE Press / Springer 2020ISBN: 978-1-68173-688-4Subject(s): B method (Computer science) | Computer software -- Development | Formal methods (Computer science) | Java (Computer program language) | Discrete mathematics | Software engineeringOnline resources: Click here to access online
| Item type | Current library | Call number | URL | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
E-Books
|
Central Library, IITB Online | Link to resource | Online | EBK6542 |
Total holds: 0
IEEE Morgan and Claypool Computer and Information Science (CIS) collection
There are no comments on this title.