Software safety and security [electronic resource] : tools for analysis and verification / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.

By:

NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany)

Contributor(s):

Material type: Text

TextSeries: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 33.Publication details: Washington, D.C. : IOS Press, 2012.Description: ix, 387 p. : illISBN:

9781614990284 (electronic bk.)

Subject(s):

Genre/Form:

Electronic books.

LOC classification:

QA76.76.V47 N38 2011

Online resources:

Click to View

Item type:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

No physical items for this record

"Published in cooperation with NATO Emerging Security Challenges Division."

"Proceedings of the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security, Bayrischzell, Germany, 2-14 August 2011"--T.p. verso.

Includes indexes.

Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.

There are no comments on this title.

to post a comment.

Back to results

1 Advanced oil crop biorefineries
2 Animal models for neurodegenerative disease
3 Applied thermodynamics of fluids
4 Bio-inspired materials and sensing systems
by Biggins, Peter.
5 Biological interactions with surface charge in biomaterials
6 Ongoing programs and exposures
7 Selected biomarkers of current interest
8 Biomarkers for traumatic brain injury
9 Biomimetic nanoceramics in clinical use
by Vallet-Regi, Maria.
10 Boronic acids in saccharide recognition
by James, Tony D.
11 Catalysis in the refining of Fischer-Tropsch syncrude
by Klerk, Arno de.
12 Challenges in green analytical chemistry
13 Chemical history
14 Chemicals in the environment
15 Chemistry and medicines
by Hanson, James Ralph.
16 The chemistry of fireworks
by Russell, Michael S.
17 The chemistry of polymers
by Nicholson, John W.
18 Chirality from dynamic kinetic resolution
by Pellissier, Helene.
19 Circular dichroism and magnetic circular dichroism spectroscopy for organic chemists
by Kobayashi, Nagao.
20 Conservation science
21 Dendrimers in medicine and biotechnology
by Boas, U.
22 Electronic waste management
23 Environmental forensics
24 Environmental impacts of modern agriculture
25 Evolution's destiny
by Williams, R. J. P.
26 Food chain allergen management
27 Food microbiology
by Adams, M. R.
28 Fundamental toxicology
29 The future of glycerol
by Pagliaro, Mario,
30 High-temperature liquid chromatography
by Teutenberg, Thorsten.
31 An introduction to pollution science
32 Iron-containing enzymes
33 Marine pollution and human health
34 Membrane engineering for the treatment of gases Volume 1, Gas-separation problems with membranes /
35 Membrane engineering for the treatment of gases Volume 2, Gas-separation problems combined with membrane reactors /
36 Metal-catalysis in industrial organic processes
37 Nanoscopic materials
by Roduner, E.
38 Nanotechnologies in food
39 Nanotubes and nanowires
by Rao, C. N. R.
40 Neurodegeneration
41 New frontiers in chemical biology
42 New synthetic technologies in medicinal chemistry
43 Nuclear analytical techniques for metallomics and metalloproteomics
44 Nuclear power and the environment
45 Nucleic acid biosensors for environmental pollution monitoring
46 Nucleic acids in chemistry and biology
47 Phage nanobiotechnology
48 Pharmaceutical process development
49 Polymer structure characterization
by Pethrick, R. A.
50 Portable x-ray fluorescence spectrometry
51 Practical environmental analysis
by Radojevic, M.
52 Protein and peptide analysis by LC-MS
53 Protein phosphorylation analysis by electrospray mass spectrometry
by Lehmann, Wolf D.
54 Proton-coupled electron transfer
55 Quantities, units, and symbols in physical chemistry
56 Raman spectroscopy, fullerenes and nanotechnology
by Amer, Maher S.
57 Recent developments in asymmetric organocatalysis
by Pellissier, Helene.
58 Stratospheric ozone depletion and climate change
59 Transportation biofuels
60 Unravelling single cell genomics

DeKUT Library

Software safety and security [electronic resource] : tools for analysis and verification / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.