| Your search for 3591 returns 4123 document(s) |
| 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 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
|
| 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
|
| Spesifikasi dan verifikasi aplikasi perbankan dengan menggunakan lingusql (Studi banding dengan Metode-B)/ Franova Herdiyanto |
|
Author: Franova Hardiyanto; | Call Number: SK-0743 (Softcopy SK-224) Source code SK-205 | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Understanding research methods: an overview of the essentials/ Mildred L. patten |
|
Author: Patten, Mildred L.; | Call Number: 001.42 Pat u | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal methods of program verification and specification |
|
Author: Berg, Helmut K.; | Call Number: 005.3 Ber f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Research design: qualitative quantitative and mixed methods approaches 4th ed. |
|
Author: Creswell, John W.; | Call Number: 300.72 Cre s | 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
|
Search Result