Your search for 52509 returns 3322 document(s) |
Maintaining consistency under changes to formal specifications, (LNCS-Lecture Notes in Computer Science 670) Hal 558-577 |
Author: Kelvin J. Ross; Peter A. Lindsay; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal verification for fault-tolerant architectures: some lessons learned, (LNCS-Lecture Notes in Computer Science 670) Hal 482-500 |
Author: Sam Owre; John Rushby; Natarajan Shankar; Friedrich von Henke; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
On the derivation of executable database programs from formal specifications, (LNCS-Lecture Notes in Computer Science 670) Hal 351-366 |
Author: Thomas Gunther; Klaus-Dieter Schewe; Ingrid Wetzel; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal methods reality check: industrial usage, (LNCS-Lecture Notes in Computer Science 670) Hal 250-267 |
Author: Dan Craigen; Susan Gerhart; Ted Ralston; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A metalanguage for the formal requirement specification of reactive systems, (LNCS-Lecture Notes in Computer Science 670) Hal 110-128 |
Author: Egidio Astesiano; Gainna Reggio; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
On combining formal and informal verification, (LNCS-Lecture Notes in Computer Science 1254)Hal. 376-387 |
Author: Jun Yuan; Jian Shen; Jacob Abraham; Adnan Azis; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal syntax and semantics of programming languages: a laboratory based approach/Kenneth Slonneger, Barry L. Kurtz |
Author: Slonneger, Kenneth; | Call Number: 005.131 Slo f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
ZUM'95: the Z formal specification motion: 9th Int. conf. of z user's limerick, Freland, September 7-9, 1995/Jonathan Bowen |
Author: Bowen, Jonathan P.; | Call Number: 005.133 Bow z | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Pengembangan pengurai morfologi untuk bahasa indonesia formal dan gaul berbasis morfologi dua tingkat dengan menggunakan XFST dan LEXC |
Author: Pomona Angela KM; | Call Number: SK-0809 (Softcopy SK-291) Source code SK-262 | Type: Skripsi
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Analisis metode pengukuran tingkat adopsi teknologi informasi dan komunikasi di sekolah formal tingkat dasar dan menengah |
Author: Sofiana Nurjanah; | Call Number: KA-120 (Softcopy KA-120) | Edition: 2011 | Type: Karya Akhir (KA)
|
Find Similar |
Add To Favorites |
Detail in New Window
|