Search: in
Formal specification
Formal specification
  Tutorials     Encyclopedia     Dictionary     Directory  
Tutorial results for Formal specification
Formal specification Email this to a friend      Formal specification

Formal specification

Sponsored Links

Encyclopedia results for Formal specification
Formal specification , Formal , Formal methods , Formal verification , Formal wear    ( More ... )

Tutorial results for Formal specification

  1. PNG Specification
    Computers - Data Formats - Graphics - 2D - PNG. The official W3C recommendation specification for PNG. ...
    www.w3.org


  2. CSS2 Specification
    Computers - Data Formats - Style Sheets - CSS - Reference - Specifications. The official Cascading Style Sheets 2 specification, presented by the World Wide Web Consortium. A comprehensive standards d ...
    www.w3.org


  3. The Annotated XML Specification (version 1.0)
    Computers - Data Formats - Markup Languages - XML - Reference. Tim Bray, one of the authors of the XML specification, presents this annotated version to ...
    www.xml.com


  4. Introduction to Formal Specification and Z
    Computers - Programming - Languages - Z - Books. By Ben Potter, Jane Sinclair, David Till; Prentice Hall PTR, 1997, ISBN 0132422077, 2nd edition. For developers; Z notation can greatly improve the way ...
    vig.prenhall.com


  5. Scalable Vector Graphics (SVG) 1.1 Specification
    Computers - Data Formats - Graphics - Vector - SVG. Official specification from the W3C. ...
    www.w3.org


  6. The Platform for Privacy Preferences 1.0 (P3P1.0) Specification
    Computers - Security - Internet - Privacy - Protocols. This is the specification, W3C recommendation date: 16-05-2002, of the Platform for Privacy Preferences (P3P). This document, along with its normative references, includes all the specification necessary for the implementation of interoperable P3P ...
    www.w3.org


  7. The Java Language Specification
    Computers - Programming - Languages - Java - Official Documentation. Sun's formal specification of the Java language (all versions). Online HTML, HTML in ZIP archive, and PDF formats. ...
    java.sun.com


  8. Formal Methods Europe
    Computers - Programming - Languages - Specification. An organisation with the mission of promoting and supporting the industrial use of formal methods for computer systems development. The site contains information on formal methods and on FME itself. ...
    www.fmeurope.org


  9. The MIDI Specification
    Computers - Multimedia - Music and Audio - MIDI. A free version of the MIDI Specification. ...
    www.borg.com


  10. OpenStep Specification
    Computers - Programming - Languages - Objective-C - Compilers and Environments. A copy of NeXT Computer's OpenStep Specification. This is the specification that both Cocoa and GNUstep are based on. ...
    www.gnustep.org


  11. JavaHelp Specification
    Computers - Data Formats - Help - JavaHelp. The official JavaHelp specification in Acrobat PDF format. (Sun) ...
    java.sun.com


  12. Erlang Specification
    Computers - Programming - Languages - Erlang - FAQs, Help and Tutorials. The Erlang 4.7 specification. (ps.gz) ...
    www.erlang.org


  13. APNG Specification
    Computers - Data Formats - Graphics - 2D - PNG. An extension of the PNG image format, adding support for animated images. Includes full specification including file structure and version changes. ...
    wiki.mozilla.org


  14. SVF specification
    Computers - Data For. The Simple Vector Format, or SVF, is a vector graphics format which supports hyperlinks and layer information. It was jointly developed by SoftSource and NCSA to provide a useful ...
    www.softsource.com


  15. Java Specification Request 48 - WBEM Services Specification
    Computers - Software - Networking - Network Management - WBEM - Implementations. The Java Community Process(SM) Program provides a specification request for Java Interfaces for WBEM. ...
    jcp.org


  16. Funge-98 Final Specification
    Computers - Programming - Languages - Befunge. The official specification for the 1998 revision to Befunge-93. ...
    quadium.net


  17. HTML 2.0 Specification
    Computers - Data Formats - Markup Languages - HTML - Reference - Specifications. Historical RFC1866 HTML 2.0 specification is discussed. ...
    tools.ietf.org


  18. RFC2616 - HTTP/1.1 Specification
    Computers - Internet - Protocols - HTTP. HTTP/1.1 is the latest specification from the World Wide Web Consortium. ...
    tools.ietf.org


  19. SourceForge RTSP Specification Tracker
    Computers - Internet - Protocols - RTSP. Official issue/errata list for RTSP, from which the future version of the RTSP specification will be made. ...
    sourceforge.net


  20. ECMA-262: ECMAScript specification
    Computers - Programming - Languages - JavaScript - Reference. The official specification for ECMAScript, the vendor-neutral standard for what was originally Netscape's JavaScript. ...
    www.ecma-international.org


  21. Online Single Unix Specification
    Computers - Software - Operating Systems - Unix - Documentation. Ordering page for the Open Group's Single Unix Specification. ...
    www.unix.org


  22. W3C WebCGM specification
    Computers - Data Formats - Graphics - Vector - WebCGM. The WebCGM specification, now a W3C Recommendation and becoming widely implemented for industrial and technical graphics on the Web, intranets and extranets. ...
    www.w3.org


  23. RELAX NG specification
    Computers - Data Formats - Markup Languages - XML - Validation - RELAX NG. Specification of RELAX NG, an alternative to XML Schema for validating XML documents. ...
    www.oasis-open.org


  24. ARB Vertex Program Specification
    Computers - Programming - Languages - ARB. The OpenGL low-level vertex shader language specification. Includes detailed documentation on APIs and assembly instructions. ...
    oss.sgi.com


  25. ARB Fragment Program Specification
    Computers - Programming - Languages - ARB. The OpenGL low-level fragment shader language specification. Includes detailed documentation on APIs and assembly instructions. ...
    oss.sgi.com



Results 1 - 25 of 2694          Next


Search   in  

Related Links in Formal specification

Search for Formal specification in Tutorials
Search for Formal specification in Encyclopedia
Search for Formal specification in Dictionary
Search for Formal specification in Open Directory
Search for Formal specification in Store
Search for Formal specification in PriceGig



Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Advertisement

Advertisement



Formal specification
Formal specification top Formal specification

Home - Add TutorGig to Your Site - Disclaimer

©2008-2009 TutorGig.com. All Rights Reserved. Privacy Statement