Explore: B Method (computer Science)
Discover books, insights, and more — all in one place.
Learn more about B Method (computer Science) with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “b-method-%28computer-science%29”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Modeling in event-b
By Jean-Raymond Abrial
“Modeling in event-b” Metadata:
- Title: Modeling in event-b
- Author: Jean-Raymond Abrial
- Language: English
- Number of Pages: Median: 599
- Publisher: Cambridge University Press
- Publish Date: 2006 - 2010 - 2013
- Publish Location: New York
“Modeling in event-b” Subjects and Themes:
- Subjects: ➤ B method (Computer science) - Verification - Computer systems - Mathematical models - Formal methods (Computer science) - Computer science - System design - Computer software, development
Edition Identifiers:
- The Open Library ID: ➤ OL24039831M - OL40470002M - OL53944946M - OL40567058M - OL40507162M - OL34485375M
- Online Computer Library Center (OCLC) ID: 496958975 - 857723265
- Library of Congress Control Number (LCCN): 2010001382
- All ISBNs: ➤ 0511727860 - 1139195883 - 9780521895569 - 0511731221 - 9780511731228 - 9781139195881 - 9780511726477 - 0521895561 - 9781282631434 - 0511726473 - 9780511727863 - 1282631438
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
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 Modeling in event-b at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2The B-Book
By J. R. Abrial
“The B-Book” Metadata:
- Title: The B-Book
- Author: J. R. Abrial
- Language: English
- Number of Pages: Median: 813
- Publisher: Cambridge University Press
- Publish Date: 1996 - 2005 - 2010 - 2011
“The B-Book” Subjects and Themes:
- Subjects: Computer science - B method (Computer science)
Edition Identifiers:
- The Open Library ID: OL34438249M - OL7713844M - OL40481666M - OL7742688M
- Library of Congress Control Number (LCCN): 2006275990
- All ISBNs: ➤ 0511624166 - 0521021758 - 9780511624162 - 9780521021753 - 0511888104 - 0521496195 - 9780511888106 - 9780521496193
First Setence:
"WHEN doing mathematics, people prove assertions."
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 The B-Book at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3The B-method (Cornerstones of Computing)
By Steve Schneider
“The B-method (Cornerstones of Computing)” Metadata:
- Title: ➤ The B-method (Cornerstones of Computing)
- Author: Steve Schneider
- Number of Pages: Median: 384
- Publisher: Palgrave Macmillan
- Publish Date: 2001
“The B-method (Cornerstones of Computing)” Subjects and Themes:
- Subjects: B method (Computer science)
Edition Identifiers:
- The Open Library ID: OL10557408M
- All ISBNs: 9780333792841 - 033379284X
Access and General Info:
- First Year Published: 2001
- 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 The B-method (Cornerstones of Computing) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4The B-book
By Jean-Raymond Abrial
“The B-book” Metadata:
- Title: The B-book
- Author: Jean-Raymond Abrial
- Language: English
- Number of Pages: Median: 779
- Publisher: Cambridge University Press
- Publish Date: 1996
- Publish Location: New York - Cambridge
“The B-book” Subjects and Themes:
- Subjects: B method (Computer science) - Computer science - B (Computer program language) - Computer programming
Edition Identifiers:
- The Open Library ID: OL720425M
- Online Computer Library Center (OCLC) ID: 35867370
- Library of Congress Control Number (LCCN): 97107195
- All ISBNs: 0521496195 - 9780521496193
Access and General Info:
- First Year Published: 1996
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
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 The B-book at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5B'98
By International B Conference (2nd 1998 Montpellier, France)
“B'98” Metadata:
- Title: B'98
- Author: ➤ International B Conference (2nd 1998 Montpellier, France)
- Language: English
- Number of Pages: Median: 311
- Publisher: Springer
- Publish Date: 1998
- Publish Location: New York - Berlin
“B'98” Subjects and Themes:
- Subjects: ➤ Congresses - B method (Computer science) - Debugging in computer science - Mise au point (Informatique) - Methode B (Informatique) - Engenharia de programacao (software) - Congres - Debogage - Programmatuurtechniek
Edition Identifiers:
- The Open Library ID: OL358158M
- Online Computer Library Center (OCLC) ID: 504313897
- Library of Congress Control Number (LCCN): 98018094
- All ISBNs: 9783540644057 - 3540644059
Access and General Info:
- First Year Published: 1998
- 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 B'98 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6B 2007
By International B Conference (7th 2007 Besançon, France)
“B 2007” Metadata:
- Title: B 2007
- Author: ➤ International B Conference (7th 2007 Besançon, France)
- Language: English
- Number of Pages: Median: 292
- Publisher: Springer
- Publish Date: 2006
- Publish Location: Berlin - New York
“B 2007” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL17160074M
- Online Computer Library Center (OCLC) ID: 77482382
- Library of Congress Control Number (LCCN): 2006938539
- All ISBNs: 3540687602 - 9783540687603
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find B 2007 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Abstract State Machines Alloy B And Z
By Uwe Glasser
“Abstract State Machines Alloy B And Z” Metadata:
- Title: ➤ Abstract State Machines Alloy B And Z
- Author: Uwe Glasser
- Publisher: Springer
- Publish Date: 2010
“Abstract State Machines Alloy B And Z” Subjects and Themes:
- Subjects: ➤ Logic design - Computational complexity - Computer science - Computer software - Machine theory - B method (Computer science) - Congresses - Z (Computer program language)
Edition Identifiers:
- The Open Library ID: OL26047846M
- Library of Congress Control Number (LCCN): 2010920043
- All ISBNs: 9783642118104 - 3642118100
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
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 Abstract State Machines Alloy B And Z at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Abstract State Machines B And Z First International Conference Abz 2008 London Uk September 1618 2008 Proceedings
By Michael Butler
“Abstract State Machines B And Z First International Conference Abz 2008 London Uk September 1618 2008 Proceedings” Metadata:
- Title: ➤ Abstract State Machines B And Z First International Conference Abz 2008 London Uk September 1618 2008 Proceedings
- Author: Michael Butler
- Number of Pages: Median: 382
- Publisher: Springer
- Publish Date: 2008
“Abstract State Machines B And Z First International Conference Abz 2008 London Uk September 1618 2008 Proceedings” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Software engineering - Database management - Machine theory - Z (computer program language) - Congresses - B method (Computer science) - Z (Computer program language) - Abstrakte Zustandsmaschine - B-Methode - Z (Programmiersprache)
Edition Identifiers:
- The Open Library ID: OL26090642M
- Online Computer Library Center (OCLC) ID: 251304166
- All ISBNs: 3540876022 - 9783540876021
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 Abstract State Machines B And Z First International Conference Abz 2008 London Uk September 1618 2008 Proceedings at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9B 2007
“B 2007” Metadata:
- Title: B 2007
- Language: English
- Number of Pages: Median: 293
- Publisher: Springer
- Publish Date: 2007
“B 2007” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL9063508M
- All ISBNs: 9783540687603 - 3540687602
Access and General Info:
- First Year Published: 2007
- 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 B 2007 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.