Search Result Save to File Save as CSV
Your search for 29439 returns 1163 document(s)
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 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 
Program construction and verification
Author: Backhouse, Roland; | Call Number: 005 Bac p | 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 
Formal verification of a combination decision procedure, Hal. 347-362
Author: Jonathan Ford and Natarajan Shankar; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Formal verification of robotic messions and tasks, Hal. 231-238
Author: Daniel Simon; Konstantinos Kapellos; Bernard Espliau; Muriel Jourdan; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Real-time systems: formal specification and automatic verification
Author: Olderog, E.R; | Call Number: 004.33 Old r | 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 
Introduction to formal language/ Gyorgy E. Revesz
Author: Revesz, Gyorgy E.; | Call Number: 005.131 Rev i | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Formal Verification of a Group Membershiap Protocol Using Model (471-488)
Author: Valerio Rosset Pedro F. Souto Francisco Vasques; | Call Number: SEM-376 | 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