Search Result Save to File Save as CSV
Your search for 53381 returns 2621 document(s)
Modeling and Verification of Web Applications uisng Formal Techniques Methods (220-229)
Author: Atsushi Togashi Yuh Kitano Satoru Izumi Kaoru Takahashic kei Homma; | Call Number: SEM-314 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Formal methods of program verification and specification
Author: Berg, Helmut K.; | Call Number: 005.3 Ber f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Applications of formal methods/edited by Michael G. Hinchey and Jonathan Bowen
Call Number: 620.004 2 App | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
An introduction to formal program verification
Author: Mili, Ali; | Call Number: 005.3 Mil i | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Formal verification - applications & case studies, (LNCS-Lecture Notes in Computer Science 1254) Hal 11
Author: Martin Rowe; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Formal verification for access control in web information sharing system, (LNCS-Lecture Notes in Computer Science 5576) Hal. 80-89
Author: Akihiro Sakai; Yoshiaki Hori; Kouichi Sakurai; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
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 
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 Methods in Artificial Intelligence
Author: Ramsay, Allan; | Call Number: 006.3 Ram f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Formal verification of a java compiler in isabelle, Hal. 63-77
Author: Martin Strecker; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next