Search Result
Save to File
Your search for
53641
returns
1410
document(s)
Pengembangan perangkat lunak secara formal dengan metodologi raise, Hal. C.9-C.14
Author: Cecilia E. Nugraheni; | Call Number: SEM-235 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal description of a real-time component, 244-247
Author: Qi Zhong-xia; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
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
Duration calculus: a formal appproach to real-time systems
Author: Chaochen, Zhou; | Call Number: 005.273 Cha d | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal specification of interactive graphics programming languages
Call Number: 005.13 For | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal specification and software development/ Dines Bjorner
Author: Bjorner, Dines; | Call Number: 004 Bjo f | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
SDL: formal object-oriented language for communicating systems
Author: Ellsberger, Jan; | Call Number: 005.133 Ell s | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Picture languae; formal models for picture recognition
Author: Rosenfeld, Axriel; | Call Number: 006.42 Ros p | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal logic: its scope and limits/ Richard Jeffrey
Author: Jeffrey, Richard; | Call Number: 160 Jef f | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal semantics of programming languages/ edited by Randall Rustin
Author: Courant, R; | Call Number: 410.183 Cou f | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
17
18
19
20
21
22
23
24
25
26
Next