| Your search for 13813 returns 4591 document(s) |
| The complexity of verification,Hal 365-371 |
|
Author: R.P.Kurshan; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Program construction and verification |
|
Author: Backhouse, Roland; | Call Number: 005 Bac p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An introduction to formal program verification |
|
Author: Mili, Ali; | Call Number: 005.3 Mil i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On optimal packetization of embedded bitstream, Hal. 82-85 |
|
Author: Ziriang Xiong; Xiaolin Wu; | Call Number: SEM-259 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Embedded systems: architecture, programming and design |
|
Author: Kamal, Raj; | Call Number: 004.33 Kam e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming embedded systems in c and C++/Michael Barr |
|
Author: Barr, Michael; | Call Number: 005.133 Bar p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Embedded systems design/Steve heath |
|
Author: Heath, Steve; | Call Number: 004.33 Hea e | Edition: 1997 | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The Impact of Software Engineering Research on Modern Programming Languages, page 431-477 |
|
Author: B. G. Ryder, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Abstracting Dependencies between Software Configuration Items, page 94-131 |
|
Author: Carl A. Gunter | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Chimera: Hypermedia for Heterogeneous Software Development Environments, page 211-245 |
|
Author: Kenneth M. Anderson, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result