| Your search for 29740 returns 286 document(s) |
| 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
|
| SDL: formal object-oriented language for communicating systems |
|
Author: Ellsberger, Jan; | Call Number: 005.133 Ell s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Picture languae; formal models for picture recognition |
|
Author: Rosenfeld, Axriel; | Call Number: 006.42 Ros p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal semantics of programming languages/ edited by Randall Rustin |
|
Author: Courant, R; | Call Number: 410.183 Cou f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Theory or computation formal languages, automata, and complexity |
|
Author: Brookshear, J. Glenn; | Call Number: 511 Bro t | 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
|
| Handbook of theoritical computer science: vol. B. formal models and semantics/J.Van Leeuwen |
|
Call Number: R. 004.02 Han | Type: Buku Referensi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal Languages and Complexity Theory: On the Generating Sequences of Regular Languages on k Symbols |
|
Author: M. -P. Beal, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal Languages and Complexity Theory: The Expressibility of Languages and Relations by Word Equations |
|
Author: J. Karhumaki, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| UML-B: Formal Modeling and Design Aided by UML, page 92-122 |
|
Author: C. Snook, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result