Search Result Save to File Save as CSV
Your search for 25753 returns 5496 document(s)
Modular and compositional verification for imperative programs and concurrent systems ( verifikasi yang modular dan komposisional untuk program imperatif dan sistem konkuren)
Author: Ade Azurat; | Call Number: Ringdis-014 | Type: Ringkasan Disertasi
Find Similar |  Add To Favorites |  Detail in New Window 
Modular and compositional verification for imperative programs and concurrent systems ( verifikasi yang modular dan komposisional untuk program imperatif dan sistem konkuren)
Author: Ade Azurat; | Call Number: DIS-014 (Softcopy DIS-006) | Type: Disertasi
Find Similar |  Add To Favorites |  Detail in New Window 
Proof Linking: Modular Verification of Mobile Programs in the Presence of Lazy, Dynamic Linking, page 379-409
Author: Philip W. L. Fong, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning (405-424)
Author: Long H. Pham Jun Sun Quang Loc Le; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Modular Acyclicity and Tail Recursion in Logic Programs (92-101)
Author: Kenneth A.Ross; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Modular discrete modelling of batch processes by means of condiiton/ event systems, Hal. 22-31
Author: S. Kowalewski; S. Engell, M. Fritz; R. Gesthuisen; G. Regner; M. Stobbe; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Continuing education center ASIAN Institute of technology 6-16 December 1988 verification of concurrent programs: the temporal framework 6-16 December, 1988/ Zohar Manna; Amir Pnuel I
Call Number: SEM-042 | Type: Prosiding Seminar
Find Similar |  Add To Favorites |  Detail in New Window 
Designing and programming modern computers and systems vol. 1: LSI modular computer systems
Call Number: 004.22 Des | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Designing and programming modern computers and systems: vol. 1 LSI modular computer systems/ Svetlana P. Kartashev
Call Number: 004.22 Des | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Proving concurrent constraint programs correct,Hlm 98-108
Author: Frank S.de Boer; Maurizio Gabbrielli; Elena Marchiori; Catuscia Palamidessi; | Call Number: SEM-198 | 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