Your search for 31725 returns 5680 document(s) |
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
|
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
|
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
|
Abstract machines and grammars/ Water J. Savitch |
Author: Savitch, Walter J.; | Call Number: 005.133 Sav a | 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
|
Currents in the theory of computing/ Alfred V. Aho |
Call Number: 006.3 Cur | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Syntactic pattern recognition: an introduction |
Author: Gonzalez, Rafael C.; | Call Number: 006.4 Gon s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Mathematical foundations of programming/ F.S. Beckman |
Author: Beckman, Frank S.; | Call Number: 519.4 Bec m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Introduction to automata theory, languages and computation |
Author: Hopcroft, John E.; | Call Number: 629.831 2 Hop i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|