| Your search for 5299 returns 797 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
|
| 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
|
| Elementary number tehory cryptography and codes |
|
Author: Baldoni, M.W.; | Call Number: 512.72 Bal e | 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
|
| Programming languages/Allen B. Tucker |
|
Author: Tucker, Allen B; | Call Number: 005.13 Tuc p | 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
|
| Applied computation theory: analysis, design, modeling/ editor Raymond T. Yeh |
|
Call Number: 006.3 Yeh a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming languages/Terrence W. Pratt |
|
Author: Pratt^Terrence W.; | Call Number: 005.13 Pra p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming languages/ Allen B. Tucker |
|
Author: Tucker, Allen B; | Call Number: 005.13 Tuc p | 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
|
Search Result