𝔖 Bobbio Scriptorium

✦ LIBER ✦

Requirements for programming languages in safety and security software standards

✍ Scribed by B.A Wichmann

Book ID: 113390099
Publisher: Elsevier Science
Year: 1992
Tongue: English
Weight: 698 KB
Volume: 14
Category: Article
ISSN: 0920-5489
DOI: 10.1016/0920-5489(92)90009-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Quantitative Aspects of Programming Languages Volume 6154 || Information Theory and Security: Quantitative Information Flow

✍ Aldini, Alessandro; Bernardo, Marco; Pierro, Alessandra; Wiklicky, Herbert 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 603 KB

An algorithm and program in C-language f

An algorithm and program in C-language for computation of standard free energy of formation of clay minerals

✍ Mohammad Kudrat; K.P Sharma; Chandrika Varadachari; Kunal Ghosh 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 379 KB

Anforderungsdefinition und -spezifikatio

Anforderungsdefinition und -spezifikation für PAC-Systeme (Picture Archiving and Communications System) Ein Leistungsverzeichnis in Anlehnung an den Standard„IEEE Recommended Practice for Software Requirements Specifications”

✍ König, H.; Klose, K. J. 📂 Article 📅 1999 🏛 Springer 🌐 German ⚖ 121 KB

[Society of Petroleum Engineers SPE Asia

[Society of Petroleum Engineers SPE Asia Pacific Health, Safety, and Security Environment Conference and Exhibition - Bangkok, Thailand (2007-09-10)] SPE Asia Pacific Health, Safety, and Security Environment Conference and Exhibition - Developing an EHS Assurance Program in Delivering and Maintaining a Safer Facility for the PHU HORM Field Development - Case Study

✍ Chia, Stuart; Promchotikul, Pitinan; Smith, Jonathan; Beatty, Phat; Trimmer, Mar 📂 Article 📅 2007 🏛 Society of Petroleum Engineers ⚖ 230 KB

Chemistry Comes Alive!, Volume 2. Compil

Chemistry Comes Alive!, Volume 2. Compiled by Jerrold J. Jacobsen and John W. Moore. Special Issue 21, 1998; CD-ROM for Macintosh and Windows; JCE Software, University of Wisconsin-Madison, 1101 University Ave., Madison, WI 53706-1396; Phone: (608) 262-5153 or (800) 991-5534; FAX: (608)265-8094; e-mail:[email protected]; Prices/Licensing (prices for non-U.S. are in parentheses): single user on a single machine, $60 ($80); additional single user copies, $45 ($65); libraries, single machine, $120 ($140); networks, up to 12 simultaneous users, $240 ($260); networks: up to 50 simultaneous users, $800 ($820); networks, more than 50 simultaneous users, contact JCE Software for a quote. Because Chemistry Comes Alive! is periodically updated, for the latest information on system requirements please access JCE Online: http://jchemed.chem.wisc.edu/JCESoft/Programs/CCA/CCA_system.html

✍ George B. Kauffman; Hiram William Blanken 📂 Article 📅 2002 🏛 Springer ⚖ 796 KB