005.13/3
Cataño Collazos, Nestor, 1975-
Java software development with event B : : a practical guide /
/ Néstor Cataño Collazos.
.- 1 PDF (x, 89 pages) :. illustrations (some color).
** Synthesis lectures on software engineering, * #5 2328-3327 ; )
QA76.73.J38 / C384 2020eb
- Synthesis digital library of engineering and computer science. Synthesis lectures on software engineering ; #5. .
Part of: Synthesis digital library of engineering and computer science.
Includes bibliographical references (pages 83-84) and index.
Abstract freely available; full-text restricted to subscribers or individual document purchasers.
Compendex INSPEC Google scholar Google book search
Mode of access: World Wide Web. System requirements: Adobe Acrobat Reader.
ISBN: 9781681736884
10.2200/S00957ED1V01Y201910SWE005 doi
Subject Headings: Java (Computer program language); Formal methods (Computer science); B method (Computer science); Computer software;--Development
correct-by-construction discrete mathematics Event B Java programming refinement software engineering verification
Copy Details: Acc. No.: EBKE955, Full Call No.: , Item type: E books , Location: , ------------------------- --------------------- ------ --------- ------- ------- --------- --------