Explore: Formal Methods (computer Scien
Discover books, insights, and more — all in one place.
Learn more about Formal Methods (computer Scien with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “formal-methods-%28computer-scien”:
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.
2Software specification
By John D. Gannon, James M. Purtilo and Marvin V. Zelkowitz
“Software specification” Metadata:
- Title: Software specification
- Authors: John D. GannonJames M. PurtiloMarvin V. Zelkowitz
- Language: English
- Number of Pages: Median: 249
- Publisher: ➤ Ablex Publishing Corporation - Ablex Pub. Co.
- Publish Date: 1993 - 1994
- Publish Location: Norwood, N.J
“Software specification” Subjects and Themes:
- Subjects: ➤ Computer software - Formal methods (Computer science) - Software engineering - Specifications - Computer Books: Word Processing - Computers - Languages / Programming - Programming - General - Computer Bks - Languages / Programming - Formal methods (Computer scien
Edition Identifiers:
- The Open Library ID: OL1437709M - OL8686559M
- Online Computer Library Center (OCLC) ID: 29595552
- Library of Congress Control Number (LCCN): 93050696
- All ISBNs: 1567500331 - 9781567500349 - 156750034X - 9781567500332
Author's Alternative Names:
"Zelkowitz, Marvin V. Informaticien", "Zelkowitz, Marvin V. Computer scientist", "M. Zelkowitz", "Marvin Zelkowitz" and "Zelkowitz, Marvin V. Informatiker"Access and General Info:
- First Year Published: 1993
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
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 Software specification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Petri nets for systems engineering
By Claude Girault and Rüdiger Valk
“Petri nets for systems engineering” Metadata:
- Title: ➤ Petri nets for systems engineering
- Authors: Claude GiraultRüdiger Valk
- Language: English
- Number of Pages: Median: 607
- Publisher: Springer
- Publish Date: 2002 - 2003
- Publish Location: New York - Berlin
“Petri nets for systems engineering” Subjects and Themes:
- Subjects: ➤ Formal methods (Computer science) - Petri nets - Systems engineering - Mathematical logic - Software engineering - Machine Theory - Computers - Languages / Programming - Computer Mathematics - Programming - Systems Analysis & Design - Computers - Logic Design - Computer Books And Software - Industrial Technology - Formal methods (Computer scien - Applications - Computers / Programming / Software Development - Computers / Programming / Systems Analysis & Design - Computers-Machine Theory - Modeling - Computer Science
Edition Identifiers:
- The Open Library ID: OL18182006M - OL9057110M
- Online Computer Library Center (OCLC) ID: 50906339
- Library of Congress Control Number (LCCN): 2002191198
- All ISBNs: 9783540412175 - 3540412174
First Setence:
"This book intends to show how Petri nets fill many of the needs of systems modelling, their verification and implementation, as mentioned in the preface."
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
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 Petri nets for systems engineering at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Domain 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.