Explore: Système Formel
Discover books, insights, and more — all in one place.
Learn more about Système Formel with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “syst%C3%A8me-formel”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Introduction a la specification
By Henri Habrias
“Introduction a la specification” Metadata:
- Title: ➤ Introduction a la specification
- Author: Henri Habrias
- Language: fre
- Publisher: Masson
- Publish Date: 1993
- Publish Location: Paris
“Introduction a la specification” Subjects and Themes:
- Subjects: ➤ Computer software - Development - Computer programming - Calcul propositionnel - Logique premier ordre - Système formel - Spécification formelle - Spécification logiciel - Logiciels - Développement - Programmation (Informatique) - Contrats et spécifications - Génie logiciel
Edition Identifiers:
- The Open Library ID: OL21786212M
- Online Computer Library Center (OCLC) ID: 28254461
- All ISBNs: 2225827680 - 9782225827686
Access and General Info:
- First Year Published: 1993
- 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 Introduction a la specification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.