Search Result
Save to File
Your search for
3905
returns
3928
document(s)
An overview of the real-time corba specification, page 56
Author: Douglas C. Schmidt | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Specification of a real-time pulse detection, Hal. 82-104
Author: Henrik Reif Andersen; Jacob Lyng Petersen; | Call Number: SEm-253 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
An excercise in hybrid system specification using an extension of Z, Hal. 311-316
Author: Viktor Friesen; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
STEPWIBE SPECIFICATION OF DYNAMIC DATABASE BEHAVIOUR (387-397)
Author: Udo w. Lipeck; | Call Number: SEM-360 | Type: Indeks Artikel prosiding/Sem
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
The temporal logic of reactive and concurrent systems specification
Author: Manna, Zohar; | Call Number: 005.1 Man t | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
The RAISE specification language/the Raise language group
Call Number: 005.102 8 Rai | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Semantics of specification languages (SOSL) /D.J. Andrews
Author: Andrews, D.J.; | Call Number: 005.133 And s | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Translasi UML statecharts diagram ke abstract behavioral specification
Author: Rangga Hadisurya; | Call Number: T-1105 (Softcopy T-814) Source code T-222 | Edition: 2015 | Type: Tesis
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
8
9
10
11
12
13
14
15
16
17
Next