Your search for 311 returns 611 document(s) |
Formal techniques in real-time and fault-tolerant systems: the Int. Symposium, FTRTFT 2000 Pmil India; Sep. 20-22, 2000 proceesing |
Author: Joseph, Mathai; | Call Number: 004.33 Jos j | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An introduction to formal specicifation and Z /Ben Potter |
Author: Potter, Ben; | Call Number: 005.1 Pot i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal logic: its scope and limits |
Author: Jeffrey, Richard C.; | Call Number: 160 Jef f | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Elementary computability formal languages and automata |
Author: McNaughton, Robert; | Call Number: 511 Mcn e | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A formal view integration method (398-407) |
Author: Joachim Biskup and Bernhard convent; | Call Number: SEM-360 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A formal view integration method (398-407) |
Author: Joachim Biskup and Bernhard convent; | Call Number: SEM-360 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Using formal verification/analysis methods on the critical path in system design: a case study, (LNCS-Lecture Notes in Computer Science 939) Hal 367-380 |
Author: Asgeir Th. Eiriksson; Ken L. McMillan; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The industrial take-up of formal methods in safety-critical and other areas: a perspective, (LNCS-Lecture Notes in Computer Science 670) Hal 183-195 |
Author: Jonathan Bowen; Victoria Stavridou; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Refinement dengan metode B. pada pengembangan modul aplikasi perbankan, Hal. 477-480 |
Author: Theresia Budiyanti; | Call Number: SEM-268 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Computabililty, complextiry, and languages: fundamentals of theoretical computer science/ Martin D. Davis |
Author: Davis, Martin; | Call Number: 511.3 Dav c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|