Explore: Korrektheit
Discover books, insights, and more — all in one place.
Learn more about Korrektheit with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “korrektheit”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Verification of object-oriented software
By Bernhard Beckert
“Verification of object-oriented software” Metadata:
- Title: ➤ Verification of object-oriented software
- Author: Bernhard Beckert
- Language: English
- Number of Pages: Median: 658
- Publisher: Springer
- Publish Date: 2007
“Verification of object-oriented software” Subjects and Themes:
- Subjects: ➤ Java (Computer program language) - Object-oriented methods (Computer science) - Verification - Computer software - Logic design - Artificial intelligence - Computer science - Software engineering - Object-oriented programming (computer science) - Objektorientierte Programmierung - Softwarespezifikation - Programmverifikation - Korrektheit - Beweis - Softwareentwicklung - Objektorientierung - Programmierlogik - Formale Methode
Edition Identifiers:
- The Open Library ID: OL12810193M
- Online Computer Library Center (OCLC) ID: 78203745
- Library of Congress Control Number (LCCN): 2006939067
- All ISBNs: 354068977X - 9783540689775
Access and General Info:
- First Year Published: 2007
- 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 Verification of object-oriented software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Hardware and software
By International Haifa Verification Conference (4th 2008 Haifa, Israel)
“Hardware and software” Metadata:
- Title: Hardware and software
- Author: ➤ International Haifa Verification Conference (4th 2008 Haifa, Israel)
- Language: English
- Number of Pages: Median: 214
- Publisher: Springer
- Publish Date: 2009
- Publish Location: Berlin
“Hardware and software” Subjects and Themes:
- Subjects: ➤ Congresses - Verification - Computer programs - Computer input-output equipment - Software architecture - Computer software - Computer software, verification - Integrated circuits - Hardwareverifikation - Korrektheit - Programmverifikation - Software - Testen - Model Checking
Edition Identifiers:
- The Open Library ID: OL24815250M
- Online Computer Library Center (OCLC) ID: 321129659
- Library of Congress Control Number (LCCN): 2009930043
- All ISBNs: 3642017010 - 9783642017018
Access and General Info:
- First Year Published: 2009
- 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 Hardware and software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Constructing correct software
By Cooke, John
“Constructing correct software” Metadata:
- Title: Constructing correct software
- Author: Cooke, John
- Language: English
- Number of Pages: Median: 395
- Publisher: Springer
- Publish Date: 1998
- Publish Location: New York - London
“Constructing correct software” Subjects and Themes:
- Subjects: ➤ Development - Computer software - Softwareentwicklung - Programmverifikation - Programm - Korrektheit
Edition Identifiers:
- The Open Library ID: OL679540M
- Online Computer Library Center (OCLC) ID: 37154888
- Library of Congress Control Number (LCCN): 97026050
- All ISBNs: 354076156X - 9783540761563
Access and General Info:
- First Year Published: 1998
- 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 Constructing correct software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Konstruktion guter Algorithmen
By Ingo Dittmer
“Konstruktion guter Algorithmen” Metadata:
- Title: Konstruktion guter Algorithmen
- Author: Ingo Dittmer
- Language: ger
- Publisher: Vieweg+Teubner Verlag
- Publish Date: 1996
- Publish Location: Wiesbaden
“Konstruktion guter Algorithmen” Subjects and Themes:
- Subjects: Effizienter Algorithmus - Korrektheit - Programmierung
Edition Identifiers:
- The Open Library ID: OL27067493M
- Online Computer Library Center (OCLC) ID: 864095021
- All ISBNs: 9783663105176 - 3663105172
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 Konstruktion guter Algorithmen at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5On a method of multiprogramming
By W.H.J. Feijen and A.J.M. van Gasteren
“On a method of multiprogramming” Metadata:
- Title: ➤ On a method of multiprogramming
- Authors: W.H.J. FeijenA.J.M. van Gasteren
- Language: English
- Number of Pages: Median: 370
- Publisher: Springer
- Publish Date: 1999
“On a method of multiprogramming” Subjects and Themes:
- Subjects: ➤ Multiprogramming (Electronic computers) - Multiprocessorsystemen - Programming Techniques - Software Engineering - Formale Methode - Korrektheit - Multiprogrammation - Parallelprogrammering - Logics and Meanings of Programs - Computer Science - Programm - Softwareentwicklung - Parallelverarbeitung - Computer programming
Edition Identifiers:
- The Open Library ID: OL7449845M
- Online Computer Library Center (OCLC) ID: 41165238
- Library of Congress Control Number (LCCN): 99015370
- All ISBNs: 9780387988702 - 038798870X
First Setence:
"In this monograph we investigate sets of sequential programs that are executed concurrently."
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find On a method of multiprogramming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Specification and verification of object oriented software components
By Andreas Roth
“Specification and verification of object oriented software components” Metadata:
- Title: ➤ Specification and verification of object oriented software components
- Author: Andreas Roth
- Language: English
- Publisher: Univ.-Verl. Karlsruhe
- Publish Date: 2006
- Publish Location: Karlsruhe
“Specification and verification of object oriented software components” Subjects and Themes:
- Subjects: Programmverifikation - Komponente <Software> - Korrektheit - Formale Spezifikationstechnik - Objektorientierte Programmiersprache
Edition Identifiers:
- The Open Library ID: OL25573227M
- Online Computer Library Center (OCLC) ID: 179984606
- All ISBNs: 3866440421 - 9783866440425
Access and General Info:
- First Year Published: 2006
- 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 Specification and verification of object oriented software components at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Topology in Process Calculus
By Mingsheng Ying
“Topology in Process Calculus” Metadata:
- Title: Topology in Process Calculus
- Author: Mingsheng Ying
- Language: ger
- Publisher: Springer New York
- Publish Date: 2001
- Publish Location: New York, NY
“Topology in Process Calculus” Subjects and Themes:
- Subjects: Beweis - Korrektheit - Bisimulation - Prozessalgebra - Paralleles Programm
Edition Identifiers:
- The Open Library ID: OL27092373M
- Online Computer Library Center (OCLC) ID: 724939173
- All ISBNs: 9781461301233 - 1461301238
Access and General Info:
- First Year Published: 2001
- 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 Topology in Process Calculus at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.