Search Result
Save to File
Your search for
4542
returns
736
document(s)
web-based collaborative model for preparin formal software specification
Author: mohamed A.sultan1), zarina shukur1); | Call Number: SEM-363 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Applications of formal methods/edited by Michael G. Hinchey and Jonathan Bowen
Call Number: 620.004 2 App | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
New trends in formal languages: control, cooperation, and combinatorics/Paum Gheorge
Author: Paun, Gheorghe; | Call Number: 511.3 Pau n | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal systems specification: the RPC memory specification case study/Manfred Broy
Author: Broy, Manfred; | Call Number: 005.131 Bro f | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal spsecification of programming languages: a panoramic primer/ Frank G. Pagan
Author: Pagan, Frank G.; | Call Number: 005.133 Pag f | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal theories of the commonsense world/ edited by Jerry R. Hobbs & Robert C. Moore
Call Number: 006.3 For | Edition: 4th ed. | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
The Formal Development of Real-Time Systems: A Review/ D.J. Scholefield
Author: Scholefield, D.J.; | Call Number: 670.427 Sch f | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Model formal sistem pengendali lalulintas Kereta api di suatu setasiun
Author: Prapto Tri Supriyo; | Call Number: T-0367 | Edition: 2001 | Type: Tesis
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal Verification of a Group Membershiap Protocol Using Model (471-488)
Author: Valerio Rosset Pedro F. Souto Francisco Vasques; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion (181-201)
Author: Masayuki Mizuno Eijiro Sumii; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
13
14
15
16
17
18
19
20
21
22
Next