Record Type: Book / Subject: Computer programs -- Verification - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Record Type Book Subject Computer programs -- Verification

1. 21 CFR Part 11 : complete guide to international computer validation compliance for the pharmaceutical industry /: complete guide to international computer validation compliance for the pharmaceutical industry. (©2004)

Other Names:: López, Orlando
Record Type:: Book
Extent:: 1 online resource (xv, 243 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Bedeutende Daten : Modelle, Verfahren und Praxis der Vermessung und Verdatung im Netz /: Modelle, Verfahren und Praxis der Vermessung und Verdatung im Netz. (2018)

Editors:: Mämecke, Thorben; Passoth, Jan-Hendrik; Wehner, Josef
Record Type:: Book
Extent:: 1 online resource (276 pages), illustrations, tables
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings /: formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings. (2016)

Editors:: Beek, Maurice H. ter; Gnesi, Stefania, 1954-; Knapp, Alexander, 1971-
Other Names:: International Workshop on Formal Methods for Industrial Critical Systems, 21st; International Workshop on Automated Verification of Critical Systems, 16th
Record Type:: Book
Extent:: 1 online resource (xvi, 247 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings /: formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings. (2017)

Editors:: Petrucci, Laure; Seceleanu, Cristina; Cavalcanti, Ana
Other Names:: International Workshop on Formal Methods for Industrial Critical Systems, 22nd; International Workshop on Automated Verification of Critical Systems, 17th
Record Type:: Book
Extent:: 1 online resource (xiv, 235 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

5. Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings /: verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings. ([2016])

Editors:: Bloem, Roderick P; Arbel, Eli
Other Names:: International Haifa Verification Conference, 12th
Record Type:: Book
Extent:: 1 online resource (xvi, 211 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

6. Privately and publicly verifiable computing techniques : a survey /: a survey. (2017)

Authors:: Demirel, Denise; Schabhüser, Lucas; Buchmann, Johannes
Record Type:: Book
Extent:: 1 online resource
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗