| Your search for 15094 returns 1179 document(s) |
| 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
|
| 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 languages/ Arto Salomma |
|
Author: Salomma, Arto; | Call Number: 511.3 Sal f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction to formal language/ Gyorgy E. Revesz |
|
Author: Revesz, Gyorgy E.; | Call Number: 005.131 Rev i | 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
|
| Understanding formal methods |
|
Author: Monin, Jean-Francois; | Call Number: 005.131 Mon u | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal languages and their relation to automata |
|
Author: Hopcroft, John E.; | Call Number: 519.766 Hop f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal methods: state of the art and new directions |
|
Author: Boca, Paul P; | Call Number: 005.131 Boc f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| FME'93: Industrial-strength formal methods: First Internationl Symposium of formal methods Europe-Odense, Denmark ,April 1993 |
|
Author: Woodcock, J.C.P.; | Call Number: 004 Woo f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verification in component software, Hal. 411-420 |
|
Author: Rakhmad Azhari; | Call Number: SEM-268 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result