Explore: Formal Specification
Discover books, insights, and more — all in one place.
Learn more about Formal Specification with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “formal-specification”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Larch
By John Guttag, John V. Guttag, James J. Horning and S. J. Garland
“Larch” Metadata:
- Title: Larch
- Authors: John GuttagJohn V. GuttagJames J. HorningS. J. Garland
- Language: English
- Number of Pages: Median: 250
- Publisher: ➤ Springer-Verlag - Springer - Island Press
- Publish Date: 1993
- Publish Location: ➤ New York City, New York, USA - New York
“Larch” Subjects and Themes:
- Subjects: ➤ Computer programming - Computer software - Development - Larch (Computer program language) - formal specification - software engineering
Edition Identifiers:
- The Open Library ID: OL50695586M - OL7448335M - OL1739234M - OL9063779M
- Online Computer Library Center (OCLC) ID: 27223609
- Library of Congress Control Number (LCCN): 92044571
- All ISBNs: ➤ 9780387940069 - 9783540940067 - 3540940065 - 0387940065 - 1461227054 - 9781461227052
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 Larch at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2SysML for systems engineering
By Jon Holt
“SysML for systems engineering” Metadata:
- Title: SysML for systems engineering
- Author: Jon Holt
- Language: English
- Number of Pages: Median: 335
- Publisher: ➤ Institution of Engineering and Technology - Institution of Engineering & Technology
- Publish Date: 2008 - 2013 - 2014 - 2018
- Publish Location: Stevenage
“SysML for systems engineering” Subjects and Themes:
- Subjects: ➤ Systems engineering - SysML (Computer science) - SysML (Informatique) - Ingénierie des systèmes - TECHNOLOGY & ENGINEERING - Engineering (General) - Reference - Formal specification - Ontologies (artificial intelligence) - SysML - Systems analysis
Edition Identifiers:
- The Open Library ID: ➤ OL37168788M - OL35957794M - OL35908225M - OL35757187M - OL34656098M - OL25552154M
- Online Computer Library Center (OCLC) ID: 868925267 - 213112137 - 1082136720
- All ISBNs: ➤ 1849196516 - 9780863418259 - 1785615548 - 1849196524 - 9781849196512 - 9781849196529 - 9780863419799 - 9781785615542 - 0863418252 - 1785615556 - 0863419798 - 9781785615559
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find SysML for systems engineering at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Prolog
By Pierre Deransart, AbdelAli Ed-Dbali and Laurent Cervoni
“Prolog” Metadata:
- Title: Prolog
- Authors: Pierre DeransartAbdelAli Ed-DbaliLaurent Cervoni
- Language: English
- Number of Pages: Median: 272
- Publisher: Springer
- Publish Date: 1996
- Publish Location: Berlin - New York
“Prolog” Subjects and Themes:
- Subjects: ➤ Logic programming - Prolog (Computer program language) - Industrial quality control - Prolog - Computers - Languages / Programming - Prolog (Programming Language) - Science/Mathematics - Computers - Prolog (Computer program langu - Programming Languages - Prolog - Programming Languages - General - Computers / Programming / General - Computers / Programming Languages / General - Formale Spezifikation - Logische Programmierung - Sprachbeschreibung - Standard - formal specification - language description - Prolog (computer program language)
Edition Identifiers:
- The Open Library ID: OL9061509M - OL977964M
- Library of Congress Control Number (LCCN): 96015173
- All ISBNs: 3540593047 - 9783540593041
First Setence:
""Prolog, the Standard", is the first reference manual on the ISO international standard [2] on the programming language Prolog called in this book Standard Prolog."
Access and General Info:
- First Year Published: 1996
- 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 Prolog at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.