Explore: Programmverifikation
Discover books, insights, and more — all in one place.
Learn more about Programmverifikation with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “programmverifikation”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Program construction and verification
By Roland C. Backhouse
“Program construction and verification” Metadata:
- Title: ➤ Program construction and verification
- Author: Roland C. Backhouse
- Language: English
- Number of Pages: Median: 281
- Publisher: Prentice-Hall International
- Publish Date: 1986
- Publish Location: Englewood Cliffs, N.J
“Program construction and verification” Subjects and Themes:
- Subjects: ➤ Computer programming - Developpement - Programmation - Programmverifikation - Computer programs - Validation logiciel - Programmation (Informatique) - Verification logiciel - Logiciels - Programmierung - Ordinateurs - Production programme - Electronic digital computers, programming
Edition Identifiers:
- The Open Library ID: OL2536067M
- Online Computer Library Center (OCLC) ID: 12313124
- Library of Congress Control Number (LCCN): 85016883
- All ISBNs: 9780137291465 - 0137291469 - 0137291531 - 9780137291533
Author's Alternative Names:
"Roland Backhouse"Access and General Info:
- First Year Published: 1986
- 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 Program construction and verification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Verifiable programming
By Ole-Johan Dahl
“Verifiable programming” Metadata:
- Title: Verifiable programming
- Author: Ole-Johan Dahl
- Language: English
- Number of Pages: Median: 269
- Publisher: Prentice Hall
- Publish Date: 1992
- Publish Location: New York
“Verifiable programming” Subjects and Themes:
- Subjects: Computer programs - Verification - 54.51 programming techniques - Programmverifikation - Programmatuurtechniek
Edition Identifiers:
- The Open Library ID: OL1559185M
- Online Computer Library Center (OCLC) ID: 24792411
- Library of Congress Control Number (LCCN): 91040182
- All ISBNs: 0139510621 - 9780139510625
Access and General Info:
- First Year Published: 1992
- 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 Verifiable programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Verification of sequential and concurrent programs
By Krzysztof R. Apt
“Verification of sequential and concurrent programs” Metadata:
- Title: ➤ Verification of sequential and concurrent programs
- Author: Krzysztof R. Apt
- Language: English
- Number of Pages: Median: 403
- Publisher: Springer-Verlag
- Publish Date: 1991 - 1997
- Publish Location: New York
“Verification of sequential and concurrent programs” Subjects and Themes:
- Subjects: ➤ Verification - Computer software - Vérification - Logiciels - Programmverifikation - Software - Verificatie
Edition Identifiers:
- The Open Library ID: OL2029951M - OL991370M
- Online Computer Library Center (OCLC) ID: 36138298 - 23142102
- Library of Congress Control Number (LCCN): 91007267 - 96029771
- All ISBNs: ➤ 0387948961 - 9780387975320 - 9780387948966 - 9783540975328 - 3540975322 - 0387975322
Access and General Info:
- First Year Published: 1991
- 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 Verification of sequential and concurrent programs at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4The design of well-structured and correct programs
By Suad Alagić
“The design of well-structured and correct programs” Metadata:
- Title: ➤ The design of well-structured and correct programs
- Author: Suad Alagić
- Language: English
- Number of Pages: Median: 292
- Publisher: Springer-Verlag
- Publish Date: 1978
- Publish Location: New York
“The design of well-structured and correct programs” Subjects and Themes:
- Subjects: ➤ Computer programming - Pascal (Computer program language) - Algorithmes - Programmation structuree - Strukturierte Programmierung - Programmation (Informatique) - Programmverifikation - PASCAL (Langage de programmation) - Exactitude - PASCAL - Logiciels - Programmierung - Manuels d'enseignement - Evaluation - Pascal - Programming - general & miscellaneous
Edition Identifiers:
- The Open Library ID: OL4556884M - OL17758957M
- Online Computer Library Center (OCLC) ID: 3542182
- Library of Congress Control Number (LCCN): 77027087
- All ISBNs: 9780387902999 - 0387902996
Access and General Info:
- First Year Published: 1978
- 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 The design of well-structured and correct programs at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Advanced lectures on software engineering
By Peter Müller
“Advanced lectures on software engineering” Metadata:
- Title: ➤ Advanced lectures on software engineering
- Author: Peter Müller
- Language: English
- Number of Pages: Median: 187
- Publisher: Springer
- Publish Date: 2010
- Publish Location: Berlin
“Advanced lectures on software engineering” Subjects and Themes:
- Subjects: ➤ Programmverifikation - Software enginnering - Congresses - Software Engineering - Nebenläufigkeit - Informatique - Software engineering - Congrès - Génie logiciel - Software
Edition Identifiers:
- The Open Library ID: OL25313794M
- Online Computer Library Center (OCLC) ID: 635376227
- Library of Congress Control Number (LCCN): 2010926406
- All ISBNs: 3642130097 - 9783642130090
Access and General Info:
- First Year Published: 2010
- 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 Advanced lectures on software engineering at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Software verification and validation
By Michael S. Deutsch
“Software verification and validation” Metadata:
- Title: ➤ Software verification and validation
- Author: Michael S. Deutsch
- Language: English
- Number of Pages: Median: 327
- Publisher: Prentice-Hall
- Publish Date: 1982
- Publish Location: Englewood Cliffs, NJ
“Software verification and validation” Subjects and Themes:
- Subjects: ➤ Computer software - Validation - Verification - Programmverifikation - Programmation informatique - Geldigheid - Vérification - Systèmes d'information de gestion - Logiciels - Génie logiciel - Software - Verificatie - Évaluation - Computer programs
Edition Identifiers:
- The Open Library ID: OL4266194M
- Online Computer Library Center (OCLC) ID: 7731846
- Library of Congress Control Number (LCCN): 81012133
- All ISBNs: 9780138220723 - 0138220727
Access and General Info:
- First Year Published: 1982
- 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 Software verification and validation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Verification, model checking, and abstract interpretation
By VMCAI 2004 (2004 Venice, Italy)
“Verification, model checking, and abstract interpretation” Metadata:
- Title: ➤ Verification, model checking, and abstract interpretation
- Author: ➤ VMCAI 2004 (2004 Venice, Italy)
- Language: English
- Number of Pages: Median: 324
- Publisher: Springer
- Publish Date: 2004
- Publish Location: New York - Berlin
“Verification, model checking, and abstract interpretation” Subjects and Themes:
- Subjects: ➤ Computer programs - Congresses - Verification - Logiciels - Congrès - Vérification - COMPUTERS - Software Development & Engineering - Quality Assurance & Testing - Abstrakte Interpretation - Formale Methode - Kongress - Model Checking - Programmanalyse - Programmverifikation - Vérification de logiciels - Model-checking (Informatique) - Méthode formelle
Edition Identifiers:
- The Open Library ID: OL18209567M - OL3303006M
- Online Computer Library Center (OCLC) ID: 54400193
- Library of Congress Control Number (LCCN): 2004043677
- All ISBNs: 9783540208037 - 3540208038
Access and General Info:
- First Year Published: 2004
- 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 Verification, model checking, and abstract interpretation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Programming Languages and Systems
By Zhenjiang Hu
“Programming Languages and Systems” Metadata:
- Title: ➤ Programming Languages and Systems
- Author: Zhenjiang Hu
- Language: English
- Number of Pages: Median: 376
- Publisher: ➤ Springer-Verlag Berlin Heidelberg - Springer
- Publish Date: 2009 - 2010
- Publish Location: Berlin, Heidelberg
“Programming Languages and Systems” Subjects and Themes:
- Subjects: ➤ Logic design - Software engineering - Data protection - Computer science - Programming languages (Electronic computers) - Congresses - Programmanalyse - Kongress - Programmierlogik - Programmiersprache - Formale Methode - Programmtransformation - Programmoptimierung - Softwaresystem - Programmverifikation - Sicherheit - Computer programming - Programming languages (electronic computers)
Edition Identifiers:
- The Open Library ID: OL25555037M - OL30623942M
- Library of Congress Control Number (LCCN): 2009939533
- All ISBNs: ➤ 3642106722 - 9783642106729 - 9783642106736 - 3642106730 - 3642106714 - 9783642106712
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 Programming Languages and Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Fields of logic and computation
By Yuri Gurevich, Andreas Blass, Nachum Dershowitz and Wolfgang Reisig
“Fields of logic and computation” Metadata:
- Title: ➤ Fields of logic and computation
- Authors: Yuri GurevichAndreas BlassNachum DershowitzWolfgang Reisig
- Language: English
- Number of Pages: Median: 626
- Publisher: Springer
- Publish Date: 2010
- Publish Location: New York - Berlin
“Fields of logic and computation” Subjects and Themes:
- Subjects: ➤ Softwarespezifikation - Komplexitätstheorie - Mathematische Logik - Symbolic and mathematical Logic - Berechenbarkeit - Programmverifikation - Formale Methode - Information theory - Computer science - Automatentheorie - Mathematics - Formal methods (Computer science) - Theoretische Informatik - Abstrakte Zustandsmaschine - Logic design - Computer networks - Software engineering - Computer software - Computer science, mathematics
Edition Identifiers:
- The Open Library ID: OL25375129M
- Online Computer Library Center (OCLC) ID: 657597118
- Library of Congress Control Number (LCCN): 2010931832
- All ISBNs: 9783642150241 - 3642150241
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 Fields of logic and computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Formal methods
By Keijiro Araki
“Formal methods” Metadata:
- Title: Formal methods
- Author: Keijiro Araki
- Language: English
- Publisher: Springer
- Publish Date: 2003
- Publish Location: Heidelberg - Berlin
“Formal methods” Subjects and Themes:
- Subjects: ➤ Programmanalyse - Programmverifikation - Formale Methode - Softwareentwicklung - Model Checking - Testen - Systementwicklung - Software - Computer software, development - Computer science - System design
Edition Identifiers:
- The Open Library ID: OL27039272M
- Online Computer Library Center (OCLC) ID: 76633362
- All ISBNs: 3540452362 - 9783540452362
Access and General Info:
- First Year Published: 2003
- 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 Formal methods at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11A survey of verification techniques for parallel programs
By Howard Barringer
“A survey of verification techniques for parallel programs” Metadata:
- Title: ➤ A survey of verification techniques for parallel programs
- Author: Howard Barringer
- Language: English
- Number of Pages: Median: 115
- Publisher: Springer-Verlag - Springer
- Publish Date: 1985
- Publish Location: Berlin
“A survey of verification techniques for parallel programs” Subjects and Themes:
- Subjects: ➤ Parallel processing (Electronic computers) - Verification - Computer programs - Parallelisme (Informatique) - Parallel programs (Computer programs) - Programmverifikation - Logiciels - Programmierung - Parallelverarbeitung - Verifikation - Parallel processing (electronic computers)
Edition Identifiers:
- The Open Library ID: OL15275075M - OL22270361M
- All ISBNs: 0387152393 - 3540152393 - 9780387152394 - 9783540152392
Access and General Info:
- First Year Published: 1985
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find A survey of verification techniques for parallel programs at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12The cleanroom approach to quality software development
By Michael Dyer
“The cleanroom approach to quality software development” Metadata:
- Title: ➤ The cleanroom approach to quality software development
- Author: Michael Dyer
- Language: English
- Number of Pages: Median: 198
- Publisher: Wiley
- Publish Date: 1992
- Publish Location: New York
“The cleanroom approach to quality software development” Subjects and Themes:
- Subjects: ➤ Computer software - Development - Programmverifikation - Qualitätskontrolle - Softwareentwicklung - Programmatuurtechniek - Génie logiciel - Logiciels - Développement - Software - Computer software, development
Edition Identifiers:
- The Open Library ID: OL1556613M
- Library of Congress Control Number (LCCN): 91037245
- All ISBNs: 9780471548232 - 0471548235
Access and General Info:
- First Year Published: 1992
- 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 cleanroom approach to quality software development at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Compositionality, concurrency, and partial correctness
By J. Zwiers
“Compositionality, concurrency, and partial correctness” Metadata:
- Title: ➤ Compositionality, concurrency, and partial correctness
- Author: J. Zwiers
- Language: English
- Number of Pages: Median: 272
- Publisher: Springer-Verlag
- Publish Date: 1989
- Publish Location: New York - Berlin
“Compositionality, concurrency, and partial correctness” Subjects and Themes:
- Subjects: ➤ Automatic theorem proving - Parallel processing (Electronic computers) - Décomposition programme - Compositionnalité - TNP - Théorèmes - DNP - Processus communicant - Modularité - Parallélisme (informatique) - Correction programme - Complétude - Démonstration automatique - Preuve programme - Réseau processus - Partiell korrektes Programm - Programmverifikation - Dekomposition - Nebenläufigkeit
Edition Identifiers:
- The Open Library ID: OL2186311M
- Online Computer Library Center (OCLC) ID: 19323130
- Library of Congress Control Number (LCCN): 89004329
- All ISBNs: 9780387508450 - 0387508457
Access and General Info:
- First Year Published: 1989
- 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 Compositionality, concurrency, and partial correctness at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14Verification 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.
15Verified software
By VSTTE 2010 (2010 Edinburgh, Scotland)
“Verified software” Metadata:
- Title: Verified software
- Author: ➤ VSTTE 2010 (2010 Edinburgh, Scotland)
- Language: English
- Number of Pages: Median: 215
- Publisher: Springer
- Publish Date: 2010
- Publish Location: Berlin - New York
“Verified software” Subjects and Themes:
- Subjects: ➤ Programmverifikation - Formale Methode - Programmtest - Congresses - Verification - Computer programs - Software - Verifikation - Programmanalyse - Logic design - Software engineering - Computer science - Artificial intelligence - Computer software, verification
- Places: Edinburgh <2010>
Edition Identifiers:
- The Open Library ID: OL25370862M
- Online Computer Library Center (OCLC) ID: 657597111
- Library of Congress Control Number (LCCN): 2010931860
- All ISBNs: 9783642150562 - 364215056X
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 Verified software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16Hardware 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.
17Constructing 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.
18Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings
By Corina S. Pasareanu
“Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings” Metadata:
- Title: ➤ Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings
- Author: Corina S. Pasareanu
- Publisher: Springer
- Publish Date: 2009
“Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Software engineering - Computer software - Congresses - Verification - Computer simulation - Testing - Data processing - Model Checking - Kongress - Programmverifikation - SPIN (Computer file) - Computer software, verification
Edition Identifiers:
- The Open Library ID: OL26097339M
- Online Computer Library Center (OCLC) ID: 419645564
- Library of Congress Control Number (LCCN): 2009928779
- All ISBNs: 3642026516 - 9783642026515
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 Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Formal Methods Foundations and Applications Lecture Notes in Computer Science
By Jim Woodcock
“Formal Methods Foundations and Applications Lecture Notes in Computer Science” Metadata:
- Title: ➤ Formal Methods Foundations and Applications Lecture Notes in Computer Science
- Author: Jim Woodcock
- Number of Pages: Median: 361
- Publisher: Springer
- Publish Date: 2010
“Formal Methods Foundations and Applications Lecture Notes in Computer Science” Subjects and Themes:
- Subjects: ➤ Logic design - Information Systems - Computer science - Software engineering - Formal methods (Computer science) - Congresses - Fehlertoleranz - Kongress - Formale Methode - Model Checking - Sicherheitskritisches System - Interrupt <Informatik> - Software - Testen - Programmverifikation - Verifikation - Interrupt (Informatik) - System design
Edition Identifiers:
- The Open Library ID: OL26141020M
- Library of Congress Control Number (LCCN): 2009938928
- All ISBNs: 3642104517 - 9783642104510
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 Formal Methods Foundations and Applications Lecture Notes in Computer Science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
20Languages From Formal to Natural Lecture Notes in Computer Science
By Orna Grumberg
“Languages From Formal to Natural Lecture Notes in Computer Science” Metadata:
- Title: ➤ Languages From Formal to Natural Lecture Notes in Computer Science
- Author: Orna Grumberg
- Publisher: Springer
- Publish Date: 2009
“Languages From Formal to Natural Lecture Notes in Computer Science” Subjects and Themes:
- Subjects: ➤ Logic design - Information theory - Symbolic and mathematical Logic - Computer science - Programming languages (electronic computers) - Programming languages (Electronic computers) - Formale Sprache - Kongress - Natürliche Sprache - Linguistische Datenverarbeitung - Programmverifikation
Edition Identifiers:
- The Open Library ID: OL26157402M
- Online Computer Library Center (OCLC) ID: 351305713
- All ISBNs: 9783642017476 - 3642017479
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 Languages From Formal to Natural Lecture Notes in Computer Science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings
By Huibiao Zhu
“Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings” Metadata:
- Title: ➤ Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings
- Author: Huibiao Zhu
- Publisher: Springer
- Publish Date: 2010
“Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings” Subjects and Themes:
- Subjects: ➤ Computer networks - Computer science - Software engineering - Computer software - Entscheidungsverfahren - Programmtest - Programmverifikation - Formale Methode - Serviceorientierte Architektur - Softwareentwicklung - Congresses - Web Services - Model Checking - Leistungsbewertung - Formal methods (Computer science) - Programmanalyse - Computer engineering
Edition Identifiers:
- The Open Library ID: OL25973559M
- Library of Congress Control Number (LCCN): 2010938033
- All ISBNs: 3642169007 - 9783642169007
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 Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22Hardware and Software: Verification and Testing
By Kedar S. Namjoshi
“Hardware and Software: Verification and Testing” Metadata:
- Title: ➤ Hardware and Software: Verification and Testing
- Author: Kedar S. Namjoshi
- Language: English
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2011
- Publish Location: Berlin, Heidelberg
“Hardware and Software: Verification and Testing” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Software engineering - Computer input-output equipment - Software architecture - Computer software - Programmverifikation - Model Checking - Congresses - Verification - Computer programs - Testen - Hardwareverifikation - Software - Computer software, verification - Hardware - Testing - Programming Languages, Compilers, Interpreters - Logics and Meanings of Programs
Edition Identifiers:
- The Open Library ID: OL25538989M
- Library of Congress Control Number (LCCN): 2011920830
- All ISBNs: 9783642192364 - 3642192378 - 9783642192371 - 364219236X
Access and General Info:
- First Year Published: 2011
- 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: Verification and Testing at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
23Formal Methods for Industrial Critical Systems
By Darren Cofer
“Formal Methods for Industrial Critical Systems” Metadata:
- Title: ➤ Formal Methods for Industrial Critical Systems
- Author: Darren Cofer
- Language: English
- Number of Pages: Median: 243
- Publisher: ➤ Springer Berlin Heidelberg - Springer
- Publish Date: 2009
- Publish Location: Berlin, Heidelberg
“Formal Methods for Industrial Critical Systems” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Software engineering - Formal methods (Computer science) - Congresses - Computer programs - Verification - Reliability - Computer software - Programmverifikation - Kongress - Softwarespezifikation - Formale Methode - Zuverlässigkeit - Sicherheitskritisches System - Eingebettetes System - Softwareentwicklung - Fehlertoleranz - Systementwurf - Model Checking - Verifikation - System design
Edition Identifiers:
- The Open Library ID: OL25555301M
- Online Computer Library Center (OCLC) ID: 428011993
- Library of Congress Control Number (LCCN): 2009930950
- All ISBNs: 9783642032400 - 9783642032394 - 3642032400 - 3642032397
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 Formal Methods for Industrial Critical Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
24Programmentwicklung und Verifikation
By Gerald Futschek
“Programmentwicklung und Verifikation” Metadata:
- Title: ➤ Programmentwicklung und Verifikation
- Author: Gerald Futschek
- Language: ger
- Publisher: Springer Vienna
- Publish Date: 1989
- Publish Location: Vienna
“Programmentwicklung und Verifikation” Subjects and Themes:
- Subjects: ➤ Verifikation (Datenverarbeitung) - Programmverifikation - Programmierung (Datenverarbeitung) - Softwareentwicklung - Programm (Datenverarbeitung)
Edition Identifiers:
- The Open Library ID: OL27083100M
- Online Computer Library Center (OCLC) ID: 863859538
- All ISBNs: 3709187958 - 9783709187951
Access and General Info:
- First Year Published: 1989
- 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 Programmentwicklung und Verifikation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
25Programming languages and systems
By APLAS 2008 (2008 Bangalore, India)
“Programming languages and systems” Metadata:
- Title: ➤ Programming languages and systems
- Author: ➤ APLAS 2008 (2008 Bangalore, India)
- Language: English
- Number of Pages: Median: 341
- Publisher: Springer
- Publish Date: 2008
- Publish Location: Berlin
“Programming languages and systems” Subjects and Themes:
- Subjects: ➤ Bisimulation - Programmverifikation - Kongress - Programming languages (Electronic computers) - Java <Programmiersprache> - Congresses - Programmiersprache - Formale Spezifikationstechnik - Nebenläufigkeit - Intelligent agents (computer software) - Programming languages (electronic computers) - Computer programming
- Places: Bangalore <2008>
Edition Identifiers:
- The Open Library ID: OL24546510M
- Online Computer Library Center (OCLC) ID: 276332015
- Library of Congress Control Number (LCCN): 2008939381
- All ISBNs: 3540893296 - 9783540893295
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 Programming languages and systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
26Programmverifikation
By Krzysztof R. Apt and Ernst-Rüdiger Olderog
“Programmverifikation” Metadata:
- Title: Programmverifikation
- Authors: Krzysztof R. AptErnst-Rüdiger Olderog
- Language: ger
- Publisher: Springer Berlin Heidelberg
- Publish Date: 1994
- Publish Location: Berlin, Heidelberg
“Programmverifikation” Subjects and Themes:
- Subjects: Programmverifikation
Edition Identifiers:
- The Open Library ID: OL27083231M
- Online Computer Library Center (OCLC) ID: 725341232
- All ISBNs: 9783642579479 - 3642579477
Access and General Info:
- First Year Published: 1994
- 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 Programmverifikation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
27Specification 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.
28Semantik und Programmverifikation
By Christoph Walther
“Semantik und Programmverifikation” Metadata:
- Title: ➤ Semantik und Programmverifikation
- Author: Christoph Walther
- Language: ger
- Publisher: Vieweg+Teubner Verlag
- Publish Date: 2001
- Publish Location: Wiesbaden
“Semantik und Programmverifikation” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL27087048M
- Online Computer Library Center (OCLC) ID: 863935744
- All ISBNs: 9783322867681 - 3322867684
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 Semantik und Programmverifikation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
29Verifying concurrent processes using temporal logic
By Brent T. Hailpern
“Verifying concurrent processes using temporal logic” Metadata:
- Title: ➤ Verifying concurrent processes using temporal logic
- Author: Brent T. Hailpern
- Language: English
- Number of Pages: Median: 208
- Publisher: Springer-Verlag
- Publish Date: 1982
- Publish Location: New York - Berlin
“Verifying concurrent processes using temporal logic” Subjects and Themes:
- Subjects: ➤ Computer programs - Parallel processing (Electronic computers) - Verification - Programmation structurée - Allocation ressource - Vérification - Programme parallèle - Programmierung - Heuristique - Programmverifikation - Logiciel - vérification - Vérification logiciel - Multitraitement - Protocole réseau - Logiciels - Logique temporelle - Parallelverarbeitung - Verifikation - Parallélisme (Informatique)
Edition Identifiers:
- The Open Library ID: OL3481503M
- Online Computer Library Center (OCLC) ID: 8219232
- Library of Congress Control Number (LCCN): 82000856
- All ISBNs: 9780387112053 - 0387112057
Access and General Info:
- First Year Published: 1982
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Verifying concurrent processes using temporal logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
30Static Analysis
By SAS <11, 2004, Verona>
“Static Analysis” Metadata:
- Title: Static Analysis
- Author: SAS <11, 2004, Verona>
- Language: ger
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2004
- Publish Location: Berlin, Heidelberg
“Static Analysis” Subjects and Themes:
- Subjects: ➤ Datenfluss - Programmtest - Programmverifikation - Statische Analyse - Kontrollfluss - Programmtransformation
Edition Identifiers:
- The Open Library ID: OL27089093M
- Online Computer Library Center (OCLC) ID: 724428787
- All ISBNs: 9783540278641 - 3540278648
Access and General Info:
- First Year Published: 2004
- 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 Static Analysis at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Wiki
Source: Wikipedia
Wikipedia Results
Search Results from Wikipedia
Christoph Walther
University Press. pp. 127–227. Christoph Walther (2001). "Semantik und Programmverifikation". Teubner Texte zur Informatik. TEUBNER-TEXTE zur Informatik. Vol