| Your search for 19349 returns 1298 document(s) |
| Papers from the seventh IFIP international meeting on protocol specification, testing and verification Zurich, May 5-8, 1987/ Harry Rudin; Colin H. West |
|
Call Number: SEM-102 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Protocol specification, testing, and verification VI |
|
Call Number: 004.62 Pro | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Communication protocol specification and verification/Richard Lai |
|
Author: Lai, Richard; | Call Number: 004.36 Lai c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| SDL with applications from protocol specification/Ferene Belina |
|
Author: Belina, Frerene; | Call Number: 005.133 Bel s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Advanced software in robotics: proceedings of an international meeting held in liege, Belgium, May 4-6, 1983 |
|
Call Number: 629.892 Adv | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Microprocessors 1987 source book/editor by Harry Helms |
|
Call Number: 004.16 Mic | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal methods of program verification and specification |
|
Author: Berg, Helmut K.; | Call Number: 005.3 Ber f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Principles of protocol engineering and conformance testing |
|
Author: Sarikaya, Behcet; | Call Number: 00571 Sar p | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time systems: formal specification and automatic verification |
|
Author: Olderog, E.R; | Call Number: 004.33 Old r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Temporal Framework for Database Specification and Verification (91-99) |
|
Author: C.H. Kung; | Call Number: SEM-346 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result