Explore: Spécification
Discover books, insights, and more — all in one place.
Learn more about Spécification with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “sp%C3%A9cification”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Techniques avancées pour bases de données
By Martin, Daniel ingénieur I.D.N.
“Techniques avancées pour bases de données” Metadata:
- Title: ➤ Techniques avancées pour bases de données
- Author: ➤ Martin, Daniel ingénieur I.D.N.
- Language: fre
- Number of Pages: Median: 364
- Publisher: Dunod
- Publish Date: 1985
- Publish Location: Paris
“Techniques avancées pour bases de données” Subjects and Themes:
- Subjects: ➤ Databases - Database management - Représentation donnée - ORACLE - Conception base donnée - Spécification - Optimisation - Architecture base donnée - Compression donnée - Protection donnée - Base donnée relationnelle - SGBD - Bases de données - Gestion - Base de données - Manuel
Edition Identifiers:
- The Open Library ID: OL38631305M
- Online Computer Library Center (OCLC) ID: 20484501
- All ISBNs: 2040157859 - 9782040157852
Access and General Info:
- First Year Published: 1985
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Techniques avancées pour bases de données at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Program development by specification and transformation
By Berthold Hoffmann
“Program development by specification and transformation” Metadata:
- Title: ➤ Program development by specification and transformation
- Author: Berthold Hoffmann
- Language: English
- Number of Pages: Median: 623
- Publisher: Springer
- Publish Date: 1993
“Program development by specification and transformation” Subjects and Themes:
- Subjects: ➤ Development - Softwarespezifikation - Spécification - PANNDA - Programmtransformation - Transformation programme - Programmatuurtechniek - PROSPECTRA - Logiciels - Développement - Développement logiciel - Computer software - Software Engineering - Softwareentwicklung - Spezifikation
Edition Identifiers:
- The Open Library ID: OL12776745M
- Library of Congress Control Number (LCCN): 93029020
- All ISBNs: 9783540567332 - 354056733X
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Program development by specification and transformation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Graph transformations in computer science
By Hartmut Ehrig
“Graph transformations in computer science” Metadata:
- Title: ➤ Graph transformations in computer science
- Author: Hartmut Ehrig
- Language: English
- Number of Pages: Median: 394
- Publisher: Springer-Verlag
- Publish Date: 1994
- Publish Location: New York - Berlin
“Graph transformations in computer science” Subjects and Themes:
- Subjects: ➤ Informatique - Graphes, Théorie des - Computer graphics - Compression - Réécriture graphe - Graph-Grammatik - Grammaire graphe - Congrès - Informatique concourante - Congresses - Computer science - Spécification - Transformation graphe - Grammaires de graphes - Infographie - Theorie des Graphes - Congres
- Places: Dagstuhl <1993>
Edition Identifiers:
- The Open Library ID: OL1077673M
- Online Computer Library Center (OCLC) ID: 29843582
- Library of Congress Control Number (LCCN): 94000886
- All ISBNs: 0387577874 - 9780387577876
Access and General Info:
- First Year Published: 1994
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Graph transformations in computer science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Temporal logic in specification
By Howard Barringer
“Temporal logic in specification” Metadata:
- Title: ➤ Temporal logic in specification
- Author: Howard Barringer
- Language: English
- Number of Pages: Median: 448
- Publisher: Springer-Verlag - Springer
- Publish Date: 1989
- Publish Location: New York - Berlin
“Temporal logic in specification” Subjects and Themes:
- Subjects: ➤ Symbolic and mathematical Logic - System design - Softwarespezifikation - Logique symbolique et mathématique - Théorie automate - Système concurrent - Temporale Logik - Congrès - Vérification - Spécification - Logique temporelle - Systèmes, Conception de - Démonstration théorème - Logique - Nebenläufigkeit - Congresses
Edition Identifiers:
- The Open Library ID: OL2200354M
- Online Computer Library Center (OCLC) ID: 20490986
- Library of Congress Control Number (LCCN): 89021947
- All ISBNs: 9780387518039 - 0387518037
Access and General Info:
- First Year Published: 1989
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Temporal logic in specification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Wiki
Source: Wikipedia
Wikipedia Results
Search Results from Wikipedia
Specification (disambiguation)
Look up specification or spécification in Wiktionary, the free dictionary. Specification may refer to: Specification is the term used for the first stage
Functional specification
A functional specification (also, functional spec, specs, functional specifications document (FSD), functional requirements specification) in systems engineering
Simplified Molecular Input Line Entry System
The Simplified Molecular Input Line Entry System (SMILES) is a specification in the form of a line notation for describing the structure of chemical species
Specification pattern
In computer programming, the specification pattern is a particular software design pattern, whereby business rules can be recombined by chaining the business
Process specification
Process Specification is a business term for the specification of a process. It is not unique to business activity, but can be applied to any organizational
Bit specification
bit specification may mean: Computer hardware or software capabilities or design features expressed in terms of bit counts. Higher bit specification (e
Specification and Description Language
Specification and Description Language (SDL) is a specification language targeted at the unambiguous specification and description of the behaviour of
Multiboot specification
The Multiboot specification is an open standard describing how a boot loader can load an x86 operating system kernel. The specification allows any compliant
Redfish (specification)
been elaborated under the SPMF umbrella at the DMTF in 2014. The first specification with base models (1.0) was published in August 2015. In 2016, Models
Specification by example
Specification by example (SBE) is a collaborative approach to defining requirements and business-oriented functional tests for software products based