Explore: Programmierlogik
Discover books, insights, and more — all in one place.
Learn more about Programmierlogik with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “programmierlogik”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Computer science logic
By Workshop on Computer Science Logic (19th 2005 Oxford, England)

“Computer science logic” Metadata:
- Title: Computer science logic
- Author: ➤ Workshop on Computer Science Logic (19th 2005 Oxford, England)
- Language: English
- Number of Pages: Median: 565
- Publisher: Springer
- Publish Date: 2005
- Publish Location: New York - Berlin
“Computer science logic” Subjects and Themes:
- Subjects: ➤ Computer logic - Congresses - COMPUTERS - Programming - Logique (Informatique) - Congres - Programmierlogik - Informatique - Open Source - Tools - General - Software Development & Engineering - Logique informatique - Computational logic - Logik - Theoretische Informatik - Logische Programmierung - Computer science - Logic
Edition Identifiers:
- The Open Library ID: OL18239420M
- Online Computer Library Center (OCLC) ID: 61320925
- Library of Congress Control Number (LCCN): 2005930337
- All ISBNs: 3540282319 - 9783540282310
Access and General Info:
- First Year Published: 2005
- 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 Computer science logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Programming 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.
3A connotational theory of program structure
By James S. Royer

“A connotational theory of program structure” Metadata:
- Title: ➤ A connotational theory of program structure
- Author: James S. Royer
- Language: English
- Number of Pages: Median: 187
- Publisher: ➤ Springer-Verlag - Springer Berlin / Heidelberg
- Publish Date: 1987
- Publish Location: New York - Berlin
“A connotational theory of program structure” Subjects and Themes:
- Subjects: ➤ Computer programming - Programming languages (Electronic computers) - Programmation - Flussdiagramm - Konnotation - Programmation récursive - Programmation (Informatique) - Ordinateurs - Programm - Kontrolltheorie - Programmierlogik
Edition Identifiers:
- The Open Library ID: OL34411531M - OL2393720M
- Online Computer Library Center (OCLC) ID: 16917747
- Library of Congress Control Number (LCCN): 87023304
- All ISBNs: 9780387182537 - 9783540182535 - 3540182535 - 0387182535
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find A connotational theory of program structure at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4From logic design to logic programming
By Dominique Snyers

“From logic design to logic programming” Metadata:
- Title: ➤ From logic design to logic programming
- Author: Dominique Snyers
- Language: English
- Number of Pages: Median: 127
- Publisher: Springer-Verlag - Springer
- Publish Date: 1987
- Publish Location: London - Berlin
“From logic design to logic programming” Subjects and Themes:
- Subjects: ➤ Logic programming - Algorithms - Automatic theorem proving - Logischer Entwurf - Théorèmes - Conception logique - Grammaire algébrique - Logisch programmeren - Démonstration théorème - Programmierlogik - Algorithmes - Structure logique - Formale Semantik - Fonction P. - Programmation logique - Programmation déclarative - Logique mathématique - Computer algorithms - Démonstration automatique - Automatisches Beweisverfahren - Programmation en logique - Sémantique
Edition Identifiers:
- The Open Library ID: OL27999951M - OL21342228M
- Online Computer Library Center (OCLC) ID: 16466351
- Library of Congress Control Number (LCCN): 87020773
- All ISBNs: 9780387182179 - 9783540182177 - 3540182179 - 0387182179
Access and General Info:
- First Year Published: 1987
- 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 From logic design to logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Logics of Programs and Their Applications
By A. Salwicki

“Logics of Programs and Their Applications” Metadata:
- Title: ➤ Logics of Programs and Their Applications
- Author: A. Salwicki
- Language: English
- Number of Pages: Median: 336
- Publisher: Springer
- Publish Date: 1983
“Logics of Programs and Their Applications” Subjects and Themes:
- Subjects: ➤ Congrès - Structure logique - Programmation (Informatique) - Congresses - Logiciels - Programmierung - Computer programming - Logik - Programmierlogik
Edition Identifiers:
- The Open Library ID: OL12771567M
- Online Computer Library Center (OCLC) ID: 9224476
- Library of Congress Control Number (LCCN): 83158934
- All ISBNs: 3540119817 - 9783540119814
Access and General Info:
- First Year Published: 1983
- 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 Logics of Programs and Their Applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Logic, language, information, and computation
By Workshop on Logic, Language, Information and Computation (20th 2013 Darmstadt, Germany)
“Logic, language, information, and computation” Metadata:
- Title: ➤ Logic, language, information, and computation
- Author: ➤ Workshop on Logic, Language, Information and Computation (20th 2013 Darmstadt, Germany)
- Language: English
- Number of Pages: Median: 281
- Publisher: Springer
- Publish Date: 2013
- Publish Location: Berlin - New York
“Logic, language, information, and computation” Subjects and Themes:
- Subjects: ➤ Computer logic - Congresses - Symbolic and mathematical Logic - Berechnungstheorie - Formale Grammatik - Formale Methode - Formale Syntax - Künstliche Intelligenz - Logik - Natürliche Sprache - Programmierlogik - Programmiersprache - Theoretische Informatik - Logic, symbolic and mathematical - Language and logic - Artificial Intelligence (incl. Robotics) - Computer science - Algebra - Data processing - Artificial intelligence - Mathematical Logic and Formal Languages - Symbolic and Algebraic Manipulation - Computer Science, general
Edition Identifiers:
- The Open Library ID: OL31013764M
- Online Computer Library Center (OCLC) ID: 861569522
- Library of Congress Control Number (LCCN): 2013943913
- All ISBNs: 9783642399916 - 3642399916 - 3642399924 - 9783642399923
Access and General Info:
- First Year Published: 2013
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic, language, information, and computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Verification 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.
8Logic-Based Program Synthesis and Transformation
By Danny De Schreye

“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Author: Danny De Schreye
- Language: English
- Number of Pages: Median: 215
- Publisher: ➤ Springer-Verlag Berlin Heidelberg - Springer
- Publish Date: 2010
- Publish Location: Berlin, Heidelberg
“Logic-Based Program Synthesis and Transformation” Subjects and Themes:
- Subjects: ➤ Logic design - Software engineering - Computer science - Artificial intelligence - Informatique - Programmtransformation - Logic programming - Congresses - Logische Programmierung - Logic - Beweistheorie - Programmierlogik - Programmsynthese - Software
Edition Identifiers:
- The Open Library ID: OL25564050M
- Library of Congress Control Number (LCCN): 2010924453
- All ISBNs: 3642125913 - 9783642125911 - 9783642125928 - 3642125921
Access and General Info:
- First Year Published: 2010
- 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 Logic-Based Program Synthesis and Transformation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Logic Language Information And Computation 16th International Workshop Wollic 2009 Tokyo Japan June 2124 2009 Proceedings
By Hiroakira Ono

“Logic Language Information And Computation 16th International Workshop Wollic 2009 Tokyo Japan June 2124 2009 Proceedings” Metadata:
- Title: ➤ Logic Language Information And Computation 16th International Workshop Wollic 2009 Tokyo Japan June 2124 2009 Proceedings
- Author: Hiroakira Ono
- Publisher: Springer
- Publish Date: 2009
“Logic Language Information And Computation 16th International Workshop Wollic 2009 Tokyo Japan June 2124 2009 Proceedings” Subjects and Themes:
- Subjects: ➤ Computational complexity - Information theory - Computer science - Artificial intelligence - Computer software - Symbolic and mathematical Logic - Congresses - Berechnungstheorie - Kongress - Logik - Formale Methode - Natürliche Sprache - Formale Syntax - Formale Grammatik - Programmierlogik - Programming languages (electronic computers) - Computational linguistics - Logic design
Edition Identifiers:
- The Open Library ID: OL25993409M
- Online Computer Library Center (OCLC) ID: 401156355
- Library of Congress Control Number (LCCN): 2009929957
- All ISBNs: 364202260X - 9783642022609
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 Logic Language Information And Computation 16th International Workshop Wollic 2009 Tokyo Japan June 2124 2009 Proceedings at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Logic Language Information And Computation 17th International Workshop Wollic 2010 Brasilia Brazil July 69 2010 Proceedings
By Anuj Dawar

“Logic Language Information And Computation 17th International Workshop Wollic 2010 Brasilia Brazil July 69 2010 Proceedings” Metadata:
- Title: ➤ Logic Language Information And Computation 17th International Workshop Wollic 2010 Brasilia Brazil July 69 2010 Proceedings
- Author: Anuj Dawar
- Publisher: Springer
- Publish Date: 2010
“Logic Language Information And Computation 17th International Workshop Wollic 2010 Brasilia Brazil July 69 2010 Proceedings” Subjects and Themes:
- Subjects: ➤ Mathematical Logic and Formal Languages - Berechnungstheorie - Computer logic - Algorithm Analysis and Problem Complexity - Logic - Formale Grammatik - Computing Methodologies - Formal methods (Computer science) - Naturliche Sprache - Logik - Informatique - Programming Techniques - Symbolic and mathematical Logic - Logics and Meanings of Programs - Congresses - Computer Science - Programming Languages, Compilers, Interpreters - Theory of Computation - Programmierlogik - Formale Syntax - Logic design - Computational complexity - Computer science - Data processing - Algebra - Computer software - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL26036943M
- Library of Congress Control Number (LCCN): 2010928907
- All ISBNs: 9783642138232 - 3642138233
Access and General Info:
- First Year Published: 2010
- 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 Logic Language Information And Computation 17th International Workshop Wollic 2010 Brasilia Brazil July 69 2010 Proceedings at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Computer science logic
By CSL 2010 (2010 Brno, Czech Republic)

“Computer science logic” Metadata:
- Title: Computer science logic
- Author: ➤ CSL 2010 (2010 Brno, Czech Republic)
- Language: English
- Number of Pages: Median: 546
- Publisher: Springer
- Publish Date: 2010
- Publish Location: Berlin - New York
“Computer science logic” Subjects and Themes:
- Subjects: ➤ Computer logic - Congresses - Computational logic - Logik - Theoretische Informatik - Logische Programmierung - Programmierlogik - Logic design - Software engineering - Computer science - Artificial intelligence - Computer software - Logic - Logic programming
- Places: Brünn <2010>
Edition Identifiers:
- The Open Library ID: OL25343335M
- Online Computer Library Center (OCLC) ID: 657597133
- Library of Congress Control Number (LCCN): 2010932191
- All ISBNs: 9783642152047 - 364215204X
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 Computer science logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Computer science logic
By CSL 2009 (2009 Coimbra, Portugal)

“Computer science logic” Metadata:
- Title: Computer science logic
- Author: ➤ CSL 2009 (2009 Coimbra, Portugal)
- Language: English
- Number of Pages: Median: 565
- Publisher: Springer
- Publish Date: 2009
- Publish Location: Berlin - New York
“Computer science logic” Subjects and Themes:
- Subjects: ➤ Computer logic - Kongress - Congresses - Computational logic - Programmierlogik - Theoretische Informatik - Logische Programmierung - Logik - Logic, symbolic and mathematical
- Places: Coimbra <2009>
Edition Identifiers:
- The Open Library ID: OL25201065M
- Online Computer Library Center (OCLC) ID: 436029031
- Library of Congress Control Number (LCCN): 2009933208
- All ISBNs: 3642040268 - 9783642040269
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 Computer science logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Frontiers of combining systems
By FroCOS 2009 (2009 Trento, Italy)

“Frontiers of combining systems” Metadata:
- Title: Frontiers of combining systems
- Author: ➤ FroCOS 2009 (2009 Trento, Italy)
- Language: English
- Number of Pages: Median: 382
- Publisher: Springer
- Publish Date: 2009
- Publish Location: New York - Berlin
“Frontiers of combining systems” Subjects and Themes:
- Subjects: ➤ Informatik - Symbolic and mathematical Logic - Problemlösen - Künstliche Intelligenz - Automatisches Beweisverfahren - Congresses - Computer science - Logik - Programmierlogik - Logic design - Artificial intelligence - Software engineering - Computer software - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL25313150M
- Online Computer Library Center (OCLC) ID: 436030809
- Library of Congress Control Number (LCCN): 2009933479
- All ISBNs: 9783642042218 - 364204221X
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Frontiers of combining systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.