Search Results for Computer science. - Narrowed by: E-Book - 2010 - Formal methods (Computer science)
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dPUBDATE$002509Publication$002bDate$0025092010$0025092010$0026qf$003dSUBJECT$002509Subject$002509Formal$002bmethods$002b$002528Computer$002bscience$002529$002509Formal$002bmethods$002b$002528Computer$002bscience$002529$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?
2024-08-20T05:23:25Z
Modeling in Event-B system and software engineering
ent://SD_ILS/0/SD_ILS:277993
2024-08-20T05:23:25Z
2024-08-20T05:23:25Z
Author Abrial, Jean-Raymond.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=317644">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=317644</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Teamwork in multi-agent systems a formal approach
ent://SD_ILS/0/SD_ILS:298099
2024-08-20T05:23:25Z
2024-08-20T05:23:25Z
Author Dunin-Kȩplicz, Barbara. Verbrugge, Rineke. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9780470665237">http://dx.doi.org/10.1002/9780470665237</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10389590">http://site.ebrary.com/lib/alltitles/Doc?id=10389590</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital system verification a combined formal methods and simulation framework
ent://SD_ILS/0/SD_ILS:279164
2024-08-20T05:23:25Z
2024-08-20T05:23:25Z
Author Li, Lun, 1970- Thornton, Mitchell Aaron.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440373">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440373</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>