005.13/3 <br/>
Cataño Collazos, Nestor,  1975- <br/>
       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 ;  )
<br/><label>LC Class. No.: </label>QA76.73.J38  / C384 2020eb 
 - Synthesis digital library of engineering and computer science. Synthesis lectures on software engineering ;  #5. .
<br/>Part of: Synthesis digital library of engineering and computer science. 
<br/>Includes bibliographical references (pages 83-84) and index. 
<br/> Abstract freely available; full-text restricted to subscribers or individual document purchasers. 
<br/> Compendex  INSPEC  Google scholar  Google book search 
<br/>
<br/><br/>Mode of access: World Wide Web. <br/>System requirements: Adobe Acrobat Reader. 
<br><u>ISBN:</u> 9781681736884 
<br/><label>Standard No.: </label>10.2200/S00957ED1V01Y201910SWE005  doi 
<br/><u>Subject Headings:</u> <br/>Java (Computer program language);<br/>Formal methods (Computer science);<br/>B method (Computer science);<br/>Computer software;--Development
<br/><label>Subjects--Index Terms: </label>correct-by-construction discrete mathematics Event B Java programming refinement software engineering verification 
<br><U>Copy Details:</u><br> Acc. No.: <b>EBKE960</b>, Full Call No.: ,   Item type:  E books , Location: , <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>