Search Result
Save to File
Your search for
36707
returns
568
document(s)
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
Temporal verification of research reactive systems: safety
Author: Manna, Zohar; | Call Number: 005.2 Man t | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Layout design and verification/ edited by Tatsuo Ohtsuki
Call Number: 621.395 Lay | 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
Formal development of programs and proofs/edited Edger W. Dijkstra
Call Number: 005.1 For | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Applying formal methods to semantic-based decomposition of transactions
Author: Paul Ammann, Sushil Jajodia, and Indrakshi Ray | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal semantics of SQL queries, page 513
Author: Pelagatti, M.N. S. | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Theory of finite automata: with an introduction to formal languages
Author: Carroll, John; | Call Number: 511 Car t | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal methods: state of the art and new directions
Author: Boca, Paul P; | Call Number: 005.131 Boc f | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
An environment for formal modeling and simulation of control systems, Hal. 74-79
Author: Bernardo Copstein; Michael da Costa Mora; | Call Number: SEM-260 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
7
8
9
10
11
12
13
14
15
16
Next