Search Result Save to File Save as CSV
Your search for 52509 returns 3322 document(s)
Formal verification of a java compiler in isabelle, Hal. 63-77
Author: Martin Strecker; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Formal verification of a combination decision procedure, Hal. 347-362
Author: Jonathan Ford and Natarajan Shankar; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
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 
Formal verification of robotic messions and tasks, Hal. 231-238
Author: Daniel Simon; Konstantinos Kapellos; Bernard Espliau; Muriel Jourdan; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
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 
Prev   2 3 4 5 6 7 8 9 10 11  Next