<--- Back to Details
First PageDocument Content
Linux Standard Base / Software / Standards organizations / Evaluation / Standards / Free Standards Group / Unix / Specification / ISO standards / Computing / Linux
Date: 2015-01-28 11:44:48
Linux Standard Base
Software
Standards organizations
Evaluation
Standards
Free Standards Group
Unix
Specification
ISO standards
Computing
Linux

Linux Standard Base Core Specification for PPC32 2.0.1 Linux Standard Base Core Specification for PPC32[removed]Copyright © 2004 Free Standards Group Permission is granted to copy, distribute and/or modify this document

Add to Reading List

Source URL: refspecs.linuxfoundation.org

Download Document from Source Website

File Size: 400,50 KB

Share Document on Facebook

Similar Documents

A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifi

A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifi

DocID: 1xVZ6 - View Document

Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1  Jet Propulsion Laboratory, California Inst. of Technology, USA

Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA

DocID: 1xVWh - View Document

R The OpenGL
 Graphics System: A Specification (Version 4.6 (Core Profile) - May 14, 2018)

R The OpenGL Graphics System: A Specification (Version 4.6 (Core Profile) - May 14, 2018)

DocID: 1xVOa - View Document

Specification Revision for Markov Decision Processes with Optimal Trade-off M. Lahijanian and M. Kwiatkowska Abstract— Optimal control policy synthesis for probabilistic systems from high-level specifications is increa

Specification Revision for Markov Decision Processes with Optimal Trade-off M. Lahijanian and M. Kwiatkowska Abstract— Optimal control policy synthesis for probabilistic systems from high-level specifications is increa

DocID: 1xVDa - View Document

A Trusted Mechanised JavaScript Specification Martin Bodin Arthur Charguéraud  Daniele Filaretti

A Trusted Mechanised JavaScript Specification Martin Bodin Arthur Charguéraud Daniele Filaretti

DocID: 1xVf7 - View Document