Search Result
Save to File
Your search for
38076
returns
861
document(s)
Specification and verification of a real-tiem steam boiler system, Hal. 205-229
Author: Jan Vitt; Josef Hooman; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Hierarchical gate-level verification of speed-independent circuits, Hal. 128-137
Author: Oriol Roig; Jordi Cortadella and Enric Pastor; | Call Number: SEm-234 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
The foundations of program verification 2nd ed/ Jacques Loeckx and Kurt Sieber
Author: Loeckx, Jacques; | Call Number: 005.14 Loe f | 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
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
Implementing a Device DTM and Integrating into FDUIA for Verification (V1-479 -- V1-483)
Author: Zhang Yu Pan Dongbo Liu Feng; | Call Number: SEM-334 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Local Verification of Global Integrity Constrains in Distributed Databases (49-58)
Author: Ashish Gupta Jennifer Widom; | Call Number: SEM-245 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Programming Languages: From Algol to Polymorphic Linear Lambda-Calculus
Author: P. W. O'Hearn, [et all] | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Implementation of the typed call-by-value -calculus using a stack of regions,Hal 188-201
Author: Mads Tofte; Jean-Pierre Talpin; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Toupie = u-calculus + constraints, (LNCS-Lecture Notes in Computer Science 939) Hal 114-126
Author: Antoine Rauzy; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
14
15
16
17
18
19
20
21
22
23
Next