Explore: Formal Language Theory
Discover books, insights, and more — all in one place.
Learn more about Formal Language Theory with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “formal-language-theory”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Computer-aided reasoning
By Matt Kaufmann, Panagiotis Manolios and J. Strother Moore
“Computer-aided reasoning” Metadata:
- Title: Computer-aided reasoning
- Authors: Matt KaufmannPanagiotis ManoliosJ. Strother Moore
- Language: English
- Number of Pages: Median: 315
- Publisher: ➤ Lulu Press, Inc. - Kluwer Academic Publishers - Island Press - Springer
- Publish Date: 2000 - 2010
- Publish Location: Boston
“Computer-aided reasoning” Subjects and Themes:
- Subjects: ➤ Expert systems (Computer science) - Formal methods (Computer science) - Software engineering - Knowledge-based systems / expert systems - Computers - General Information - Programming - Software Development - Formal Language Theory - Computers - Formal methods (Computer scien - Computer Books: General - Expert systems (Computer scien - Artificial Intelligence - General - General - Computers / Artificial Intelligence - Computers / Computer Science - Computers-Programming - Software Development - Mathematics-General - Computer Science - Sotware engineering - Computer-aided design
Edition Identifiers:
- The Open Library ID: ➤ OL39854205M - OL7809879M - OL50676429M - OL18141157M - OL18141110M - OL7809952M
- Online Computer Library Center (OCLC) ID: 43845631
- Library of Congress Control Number (LCCN): 00037106 - 00038636
- All ISBNs: ➤ 9780792377443 - 0792378490 - 9781461544500 - 9780557403127 - 9780792378495 - 0792377443 - 055740312X - 1461544505
Access and General Info:
- First Year Published: 2000
- 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 Computer-aided reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2First IEEE International Conference Conference [sic] on Formal Engineering Methods
By IEEE International Conference on Formal Engineering Methods (1st 1997 Hiroshima-shi, Japan), IEEE Computer Society and Institute of Electrical and Electronics Engineers
“First IEEE International Conference Conference [sic] on Formal Engineering Methods” Metadata:
- Title: ➤ First IEEE International Conference Conference [sic] on Formal Engineering Methods
- Authors: ➤ IEEE International Conference on Formal Engineering Methods (1st 1997 Hiroshima-shi, Japan)IEEE Computer SocietyInstitute of Electrical and Electronics Engineers
- Language: English
- Number of Pages: Median: 327
- Publisher: ➤ IEEE Computer Society Press - Institute of Electrical & Electronics Enginee
- Publish Date: 1997
- Publish Location: Los Alamitos, Calif
“First IEEE International Conference Conference [sic] on Formal Engineering Methods” Subjects and Themes:
- Subjects: ➤ Congresses - Development - Engineering - Methodology - Computer software - Software engineering - Systems analysis & design - Computer Performance And Reliability - Formal Language Theory - Computers - Computers - General Information - Science/Mathematics - Computer Engineering - Engineering (General) - Engineering - General - Management Information Systems
Edition Identifiers:
- The Open Library ID: OL11390408M - OL710165M - OL11390409M
- Online Computer Library Center (OCLC) ID: 698032021 - 38250521
- Library of Congress Control Number (LCCN): 97074199
- All ISBNs: 0818680040 - 9780818680021 - 9780818680045 - 0818680024
Author's Alternative Names:
"Computer Society Ieee", "Ieee Computer Society", "Institute of Electrical and Electronics Engineers", "IEEE Computer Soc", "IEEE", "Computer Society Staff Ieee", "Institute of Electrical & Electronics En" and "Ieee"Access and General Info:
- First Year Published: 1997
- 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 First IEEE International Conference Conference [sic] on Formal Engineering Methods at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Domain modeling-based software engineering
By Lu, Ruqian and Jin, Zhi
“Domain modeling-based software engineering” Metadata:
- Title: ➤ Domain modeling-based software engineering
- Authors: Lu, RuqianJin, Zhi
- Language: English
- Number of Pages: Median: 358
- Publisher: Springer - Kluwer Academic
- Publish Date: 2000
- Publish Location: Boston, MA
“Domain modeling-based software engineering” Subjects and Themes:
- Subjects: ➤ Formal methods (Computer science) - Software engineering - Formal Language Theory - Computers - Computers - Languages / Programming - Science/Mathematics - Programming - Software Development - Computers / Programming / Software Development - Computer Science - Formal methods (Computer scien
Edition Identifiers:
- The Open Library ID: OL16997752M - OL7809981M
- Library of Congress Control Number (LCCN): 00057640
- All ISBNs: 9780792378891 - 079237889X
First Setence:
"Large-scale information systems, such as those in business, defense and industry, constitute a steadily growing and strategic component of the software market."
Access and General Info:
- First Year Published: 2000
- 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 Domain modeling-based software engineering at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.