| Your search for 40374 returns 4362 document(s) |
| A provably correct embedded verifier for the certification on safety critical software, (LNCS-Lecture Notes in Computer Science 1254) Hal 202-213 |
|
Author: Alessandro Cimatti; Fausto Giunchiglia; Paolo Pecchiari; Bruno Pietra; Joe Profeta; Dario Romano; Paolo Traverso; Bing Yu; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verisoft: a tool for the automatic analysis of concurrent reactive software, (LNCS-Lecture Notes in Computer Science 1254) Hal 476-479 |
|
Author: Patrice Godefroid; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Safety property verification of esterel programs and applications to telecommunications software, (LNCS-Lecture Notes in Computer Science 939) Hal 127-140 |
|
Author: Lalita Jategaonkar Jagadeesan; Carlos Puchol; James E. Von Olnhausen; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A provably correct embeded verifier for the certification of safety critical software, (LNCS-Lecture Notes in Computer Science 999)Hal. 202-231 |
|
Author: Alesandro Cimatti; Fausto Giunchiglia; Paolo Peechiari; Bruno Pietra; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The Architecture of computer hardware systems software & networking: an information technology approach 4th ed. |
|
Author: Englander, Irv; | Call Number: 004.22 Eng a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The Architecture of Computer Hardware and Systems Software : An Information Technology Approach 2nd ed/ Irv Englander |
|
Author: Englander, Irv; | Call Number: 004.22 Eng c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Software protection : practical and legal steps to protect and market computer programs/ G. Gervaise Davis III |
|
Author: Davis, G. Gervaise; | Call Number: 347.306 Dav s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An Introduction to computer security: 12th International conference software engineering March 26-30, 1990 |
|
Call Number: SEM-148 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proceedings the fifteenth annual International computer software and applications conference/editor George J. Knafl |
|
Call Number: SEM-159 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proceedings the sixteenth annual International computer software & applications conference September 21-25, 1992, Chicago, Illinois |
|
Call Number: SEM-160 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result