Search Result

Save to File Save as CSV

Your search for 36815 returns 826 document(s)

Designing hypermedia documentation for safety critical applications, Hal. 247-252

Author: R.M. Newman; | Call Number: SEM-259 | Type: Indeks Artikel prosiding/Sem

Designing and writing on-line documentation: hypermedia for self-supporting products

Author: Horton, William K; | Call Number: 808.066 Hor d | Type: Buku

The Ethics of Safety-Critical Systems

Author: Jonathan Bowen | Type: Indeks Artikel Jurnal

Safety-critical computer sytems/Neil Storey

Author: Storey, Neil; | Call Number: 004.33 Sto s | Type: Buku

Designing XML internet applications

Author: Leventhal, Michael; | Call Number: 005.72 Lev o | Type: Softcopy Buku

Designing XML internet applications

Author: Leventhal, Michael; | Call Number: 005.72 Lev d | Type: Buku

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

Specifying a safety-critical control system in Z, (LNCS-Lecture Notes in Computer Science 670) Hal 388-402

Author: Jonathan Jacky; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS

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

Designing database applications with objects and rules: the idea methodology

Author: Ceri, Stefano; | Call Number: 005.74 Cer d | Type: Buku

Prev 1 2 3 4 5 6 7 8 9 10 Next