Search Result Save to File Save as CSV
Your search for 50923 returns 667 document(s)
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 
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 
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 
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 
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 
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 
Feature grouping using abstract behaviral specification language
Author: Reza Mauliadi; | Call Number: T-1175 (Softcopy T-884 | Edition: 2017 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next