Explore: Formale Methode
Discover books, insights, and more — all in one place.
Learn more about Formale Methode with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “formale-methode”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Software engineering with abstractions
By Valdis Andris Bērzin̦s̆
“Software engineering with abstractions” Metadata:
- Title: ➤ Software engineering with abstractions
- Author: Valdis Andris Bērzin̦s̆
- Language: English
- Number of Pages: Median: 624
- Publisher: Addison-Wesley
- Publish Date: 1991
- Publish Location: Reading, Mass
“Software engineering with abstractions” Subjects and Themes:
- Subjects: ➤ Ada (Computer program language) - Computer software - Development - Developpement - Software Engineering - Engenharia De Programacao (Software) - Formale Methode - Genie logiciel - Ada (Langage de programmation) - Logiciels
Edition Identifiers:
- The Open Library ID: OL2031884M
- Online Computer Library Center (OCLC) ID: 18560643
- Library of Congress Control Number (LCCN): 88007517
- All ISBNs: 0201080044 - 9780201080049
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 Software engineering with abstractions at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Verification, 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.
3Formal Methods for Components and Objects
By Frank S. de Boer
“Formal Methods for Components and Objects” Metadata:
- Title: ➤ Formal Methods for Components and Objects
- Author: Frank S. de Boer
- Language: English
- Number of Pages: Median: 250
- Publisher: ➤ Springer Berlin Heidelberg - Springer
- Publish Date: 2010 - 2013
- Publish Location: Berlin, Heidelberg
“Formal Methods for Components and Objects” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Software engineering - Operating systems (Computers) - Software Engineering/Programming and Operating Systems - Komponente (Software) - Komponente <Software> - Formale Methode - Objektorientierung - Programming Techniques - Logics and Meanings of Programs - Programming Languages, Compilers, Interpreters - Softwareentwicklung - Operating Systems - Formal methods (Computer science) - Congresses - Component software - Object-oriented programming (Computer science) - Computer software - Miniature objects - System design - Mathematical Logic and Formal Languages
Edition Identifiers:
- The Open Library ID: OL28060572M - OL25565416M
- Library of Congress Control Number (LCCN): 2010938608
- All ISBNs: ➤ 9783642170713 - 3642170706 - 3642170714 - 3642406149 - 9783642170706 - 9783642406140
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 for Components and Objects at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Language Engineering And Rigorous Software Development
By Luis Soares Barbosa
“Language Engineering And Rigorous Software Development” Metadata:
- Title: ➤ Language Engineering And Rigorous Software Development
- Author: Luis Soares Barbosa
- Language: English
- Number of Pages: Median: 301
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2009
“Language Engineering And Rigorous Software Development” Subjects and Themes:
- Subjects: ➤ Computer simulation - Information Systems - Computer science - Software engineering - Computer software - Congresses - Development - Formal methods (Computer science) - Programming languages (Electronic computers) - Type theory - Programmiersprache - Kongress - Typentheorie - Formale Methode - Softwareentwicklung - Computational linguistics - Programming languages (electronic computers) - Computer software, development
Edition Identifiers:
- The Open Library ID: OL34462481M - OL26117452M
- Online Computer Library Center (OCLC) ID: 429671440 - 428011995
- Library of Congress Control Number (LCCN): 2009930949
- All ISBNs: 9783642031533 - 9783642031526 - 3642031528 - 3642031536
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 Language Engineering And Rigorous Software Development at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Formal modeling and analysis of timed systems
By Wang Yi
“Formal modeling and analysis of timed systems” Metadata:
- Title: ➤ Formal modeling and analysis of timed systems
- Author: Wang Yi
- Language: English
- Number of Pages: Median: 305
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2005 - 2006
“Formal modeling and analysis of timed systems” Subjects and Themes:
- Subjects: ➤ Machine theory - Automates temporels - Méthodes formelles (Informatique) - Temporal automata - Simulation par ordinateur - Robots - Congrès - Automates mathématiques, Théorie des - Computer simulation - Congresses - Formal methods (Computer science) - Theorie des Automates mathematiques - Temporale Logik - Echtzeitsystem - COMPUTERS - Congres - Zeitdiskretes System - Formale Sprache - Informatique - Formale Methode - Methodes formelles (Informatique) - Automata
Edition Identifiers:
- The Open Library ID: OL9733350M - OL37118278M
- Online Computer Library Center (OCLC) ID: 63107695 - 62513772
- Library of Congress Control Number (LCCN): 2005937088
- All ISBNs: 3540316167 - 9783540309468 - 9783540316169 - 3540309462
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 Formal modeling and analysis of timed systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Programming 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.
7Fields 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.
8Algorithmic bioprocesses
By Anne Condon
“Algorithmic bioprocesses” Metadata:
- Title: Algorithmic bioprocesses
- Author: Anne Condon
- Language: English
- Number of Pages: Median: 742
- Publisher: Brand: Springer - Springer
- Publish Date: 2009 - 2012
- Publish Location: Dordrecht - New York
“Algorithmic bioprocesses” Subjects and Themes:
- Subjects: ➤ Theoretical Models - Information Theory - Festschrift - Computational Biology - Mathematical models - Systembiologie - Biocomputer - Molecular Biology - Structural bioinformatics - Information theory in biology - Formale Methode - Aufsatzsammlung - Theoretische Informatik - Molecular biology - Nanobiotechnologie - Bioinformatics - Biology, data processing
Edition Identifiers:
- The Open Library ID: OL27981906M - OL25312956M
- Online Computer Library Center (OCLC) ID: 467706742
- Library of Congress Control Number (LCCN): 2008944308
- All ISBNs: ➤ 9783642260155 - 3642260152 - 3540888691 - 9783540888697 - 3540888683 - 9783540888680
Access and General Info:
- First Year Published: 2009
- 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 Algorithmic bioprocesses at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Formal 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.
10Computer Safety, Reliability, and Security
By Janusz Górski
“Computer Safety, Reliability, and Security” Metadata:
- Title: ➤ Computer Safety, Reliability, and Security
- Author: Janusz Górski
- Language: English
- Number of Pages: Median: 440
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2006
“Computer Safety, Reliability, and Security” Subjects and Themes:
- Subjects: ➤ Mensch-Maschine-Kommunikation - Zuverlässigkeit - Computersicherheit - Technische Sicherheit - Sicherheitskritisches System - Computer software - Fehlertoleranz - Eingebettetes System - Datensicherung - Formale Methode - Reliability - Congresses - Computer security - Electronic digital computers - Softwareentwicklung - Systementwicklung - Computer software, reliability - Electronic digital computers, reliability - Industrial safety
Edition Identifiers:
- The Open Library ID: OL37121934M - OL9058041M
- Online Computer Library Center (OCLC) ID: 71814298
- Library of Congress Control Number (LCCN): 2006932795
- All ISBNs: 3540457623 - 9783540457633 - 9783540457626 - 3540457631
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 Computer Safety, Reliability, and Security at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Universal Semantic Communication
By Brendan Juba
“Universal Semantic Communication” Metadata:
- Title: ➤ Universal Semantic Communication
- Author: Brendan Juba
- Language: English
- Number of Pages: Median: 420
- Publisher: ➤ Springer-Verlag Berlin Heidelberg - Springer
- Publish Date: 2011 - 2013
- Publish Location: Berlin, Heidelberg
“Universal Semantic Communication” Subjects and Themes:
- Subjects: ➤ Information theory - Computer network architectures - Computer science - Artificial intelligence - Human-computer interaction - Semantic integration (computer systems) - Semantic networks (information theory) - Berechnungstheorie - Komplexitätstheorie - Mensch-Maschine-Kommunikation - Formale Methode - Semantik - Kommunikationsprotokoll - Algorithmische Lerntheorie - Universalsprache - User Interfaces and Human Computer Interaction - Computer Systems Organization and Communication Networks - Theory of Computation - Artificial Intelligence (incl. Robotics)
Edition Identifiers:
- The Open Library ID: OL28112748M - OL25547853M
- Library of Congress Control Number (LCCN): 2011941663
- All ISBNs: ➤ 3642232973 - 9783642232961 - 3642232965 - 3642440797 - 9783642232978 - 9783642440793
Access and General Info:
- First Year Published: 2011
- 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 Universal Semantic Communication at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Logic, 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.
13Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings
By Zhiming Liu
“Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings” Metadata:
- Title: ➤ Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings
- Author: Zhiming Liu
- Publisher: Springer
- Publish Date: 2009
“Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Software engineering - Computer software - Automatic theorem proving - Congresses - Formale Methode - Kongress - Verifikation - Model Checking - Softwareentwicklung - Hardwareentwurf - Systementwurf - Systemanalyse - Zeitbehafteter Automat - Eingebettetes System - Hybrides System
Edition Identifiers:
- The Open Library ID: OL26049517M
- Online Computer Library Center (OCLC) ID: 449849149
- Library of Congress Control Number (LCCN): 2009935680
- All ISBNs: 3642047602 - 9783642047602
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 Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14Formal Modeling and Analysis of Timed Systems
By Joël Ouaknine
“Formal Modeling and Analysis of Timed Systems” Metadata:
- Title: ➤ Formal Modeling and Analysis of Timed Systems
- Author: Joël Ouaknine
- Language: English
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2009
- Publish Location: Berlin, Heidelberg
“Formal Modeling and Analysis of Timed Systems” Subjects and Themes:
- Subjects: ➤ Logic design - Data processing - Computer science - Software engineering - Algebra - Information theory - Computer simulation - Congresses - Temporal automata - Formal methods (Computer science) - Machine theory - Hybrides System - Kongress - Echtzeitsystem - Formale Methode - Model Checking - Temporale Logik - Zeitbehafteter Automat - Zeitbewertetes Petri-Netz - Zeitdiskretes System - Robots
Edition Identifiers:
- The Open Library ID: OL25536219M
- Online Computer Library Center (OCLC) ID: 436030820
- Library of Congress Control Number (LCCN): 2009934015
- All ISBNs: 3642043682 - 9783642043680 - 9783642043673 - 3642043674
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 Modeling and Analysis of Timed Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15Verification 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.
16Verified 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.
17Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings
By Ana Cavalcanti
“Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings” Metadata:
- Title: ➤ Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings
- Author: Ana Cavalcanti
- Publisher: Springer
- Publish Date: 2010
“Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings” Subjects and Themes:
- Subjects: ➤ Computer science - Software engineering - Computer software - Formal methods (Computer science) - Congresses - Programmanalyse - Kongress - Model Checking - Programmtest - Formale Methode - Softwareentwicklung - Verifikation - Systementwicklung - Zuverlässigkeit - Fehlertoleranz - System design
Edition Identifiers:
- The Open Library ID: OL26014137M
- Library of Congress Control Number (LCCN): 2009938641
- All ISBNs: 9783642103728 - 3642103723
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 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18Computer safety, reliability and security
By SAFECOMP 2001 (2001 Budapest, Hungary)
“Computer safety, reliability and security” Metadata:
- Title: ➤ Computer safety, reliability and security
- Author: ➤ SAFECOMP 2001 (2001 Budapest, Hungary)
- Language: English
- Number of Pages: Median: 248
- Publisher: Springer
- Publish Date: 2001
- Publish Location: Berlin - New York
“Computer safety, reliability and security” Subjects and Themes:
- Subjects: ➤ Congresses - Reliability - Electronic digital computers - Computer security - Industrial safety - Computer software - Securite informatique - Logiciels - Mensch-Maschine-Kommunikation - Computerbeveiliging - Technische Sicherheit - Systemes informatiques - Congres - Fiabilite - Securite du travail - Formale Methode - Mesures de surete - Kongress - Softwareentwicklung - Zuverlassigkeit - Ordinateurs - Systementwicklung - Computer software, reliability - Electronic digital computers, reliability
Edition Identifiers:
- The Open Library ID: OL15512530M
- Online Computer Library Center (OCLC) ID: 48013791
- Library of Congress Control Number (LCCN): 2001049763
- All ISBNs: 9783540426073 - 3540426078
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 Computer safety, reliability and security at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Foundations and Practice of Security Lecture Notes in Computer Science
By Pascal Lafourcade
“Foundations and Practice of Security Lecture Notes in Computer Science” Metadata:
- Title: ➤ Foundations and Practice of Security Lecture Notes in Computer Science
- Author: Pascal Lafourcade
- Publisher: Springer
- Publish Date: 2012
“Foundations and Practice of Security Lecture Notes in Computer Science” Subjects and Themes:
- Subjects: ➤ Computer security - Zugriffskontrolle - RFID - Systèmes informatiques - Computersicherheit - Privatsphäre - Chipkarte - Mesures de sûreté - Chiffrierung - Kryptoanalyse - Rechnernetz - Datensicherung - Formale Methode - Informationssystem - Serviceorientierte Architektur - Congresses - Web Services - Kryptosystem - Kryptologie - Verifikation - Computer networks, security measures
Edition Identifiers:
- The Open Library ID: OL26138614M
- Library of Congress Control Number (LCCN): 2011945035
- All ISBNs: 9783642279003 - 3642279007
Access and General Info:
- First Year Published: 2012
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Foundations and Practice of Security Lecture Notes in Computer Science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
20Semantics And Algebraic Specification Essays Dedicated To Peter D Mosses On The Occasion Of His 60th Birthday
By Jens Palsberg
“Semantics And Algebraic Specification Essays Dedicated To Peter D Mosses On The Occasion Of His 60th Birthday” Metadata:
- Title: ➤ Semantics And Algebraic Specification Essays Dedicated To Peter D Mosses On The Occasion Of His 60th Birthday
- Author: Jens Palsberg
- Publisher: Springer
- Publish Date: 2009
“Semantics And Algebraic Specification Essays Dedicated To Peter D Mosses On The Occasion Of His 60th Birthday” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Software engineering - Algebra - Data processing - Artificial intelligence - Programming languages (Electronic computers) - Congresses - Semantics - Mathematics - Algebraische Spezifikation - Aufsatzsammlung - Formale Methode - Programmiersprache - Semantik - Programming languages (electronic computers) - Computer science, mathematics
Edition Identifiers:
- The Open Library ID: OL26122761M
- Online Computer Library Center (OCLC) ID: 436029253
- Library of Congress Control Number (LCCN): 2009933274
- All ISBNs: 3642041639 - 9783642041631
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 Semantics And Algebraic Specification Essays Dedicated To Peter D Mosses On The Occasion Of His 60th Birthday at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Formal Methods Second World Congress Proceedings
By Ana Cavalcanti
“Formal Methods Second World Congress Proceedings” Metadata:
- Title: ➤ Formal Methods Second World Congress Proceedings
- Author: Ana Cavalcanti
- Publisher: Springer
- Publish Date: 2010
“Formal Methods Second World Congress Proceedings” Subjects and Themes:
- Subjects: ➤ Logic design - Information Systems - Computer science - Software engineering - Computer software - Congresses - Development - Formal methods (Computer science) - System design - Mathematics - Formale Methode - Kongress - Computer software, development
Edition Identifiers:
- The Open Library ID: OL26107836M
- Library of Congress Control Number (LCCN): 2009936485
- All ISBNs: 9783642050886 - 3642050883
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 Second World Congress Proceedings at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22Formal Methods for Components and Objects Lecture Notes in Computer Science
By Frank S. de Boer
“Formal Methods for Components and Objects Lecture Notes in Computer Science” Metadata:
- Title: ➤ Formal Methods for Components and Objects Lecture Notes in Computer Science
- Author: Frank S. de Boer
- Publisher: Springer
- Publish Date: 2009
“Formal Methods for Components and Objects Lecture Notes in Computer Science” Subjects and Themes:
- Subjects: ➤ Logic design - Operating systems (Computers) - Software engineering - Computer science - Formal methods (Computer science) - Congresses - Component software - Object-oriented programming (Computer science) - Softwareentwicklung - Kongress - Formale Methode - Objektorientierung - Komponente <Software> - Komponente (Software) - System design - Computer software - Object-oriented programming (computer science)
Edition Identifiers:
- The Open Library ID: OL26140242M
- Online Computer Library Center (OCLC) ID: 436030805
- Library of Congress Control Number (LCCN): 2009933501
- All ISBNs: 3642041663 - 9783642041662
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 Components and Objects Lecture Notes in Computer Science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
23Formal 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.
24Model Driven Engineering Languages and Systems Lecture Notes in Computer Science
By Andy Schurr
“Model Driven Engineering Languages and Systems Lecture Notes in Computer Science” Metadata:
- Title: ➤ Model Driven Engineering Languages and Systems Lecture Notes in Computer Science
- Author: Andy Schurr
- Publisher: Springer
- Publish Date: 2009
“Model Driven Engineering Languages and Systems Lecture Notes in Computer Science” Subjects and Themes:
- Subjects: ➤ Computer software - Congresses - Development - UML (Computer science) - Modellgetriebene Entwicklung - Kongress - Formale Methode - Metamodell - Entwurfssprache - UML - Modelltransformation - Systementwicklung - Uml (computer science) - Computer architecture - Computer software, development
Edition Identifiers:
- The Open Library ID: OL26134661M
- Online Computer Library Center (OCLC) ID: 466044778
- Library of Congress Control Number (LCCN): 2009934110
- All ISBNs: 3642044247 - 9783642044243
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 Model Driven Engineering Languages and Systems Lecture Notes in Computer Science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
25Theoretical Aspects of Computing - ICTAC 2009
By Martin Leucker
“Theoretical Aspects of Computing - ICTAC 2009” Metadata:
- Title: ➤ Theoretical Aspects of Computing - ICTAC 2009
- Author: Martin Leucker
- Language: English
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2009
- Publish Location: Berlin, Heidelberg
“Theoretical Aspects of Computing - ICTAC 2009” Subjects and Themes:
- Subjects: ➤ Data processing - Computer science - Software engineering - Algebra - Information theory - Computer software - Electronic data processing - Congresses - Model Checking - Kongress - Nebenläufigkeit - Softwareentwicklung - Entwurfsmuster - Formale Methode - Systementwicklung - Theoretische Informatik
Edition Identifiers:
- The Open Library ID: OL25554976M
- Online Computer Library Center (OCLC) ID: 428028161
- Library of Congress Control Number (LCCN): 2009931537
- All ISBNs: 3642034667 - 9783642034664 - 9783642034657 - 3642034659
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 Theoretical Aspects of Computing - ICTAC 2009 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
26Formal 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.
27Logic 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.
28Formal 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.
29Formal methods for web services
By International School on Formal Methods for the Design of Computer, Communication, and Software Systems (9th 2009 Bertinoro, Italy)
“Formal methods for web services” Metadata:
- Title: ➤ Formal methods for web services
- Author: ➤ International School on Formal Methods for the Design of Computer, Communication, and Software Systems (9th 2009 Bertinoro, Italy)
- Language: English
- Number of Pages: Median: 339
- Publisher: Springer
- Publish Date: 2009
- Publish Location: Berlin - New York
“Formal methods for web services” Subjects and Themes:
- Subjects: ➤ Serviceorientierte Architektur - Congresses - Web Services - Internet - Formale Methode - Formal methods (Computer science) - Kongress - Web services - Computer network architectures
- Places: Bertinoro <2009>
Edition Identifiers:
- The Open Library ID: OL25155962M
- Online Computer Library Center (OCLC) ID: 351306359
- Library of Congress Control Number (LCCN): 2009938267
- All ISBNs: 9783642019173 - 364201917X
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 web services at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
30Teaching formal methods
By TFM 2009 (2009 Eindhoven, Netherlands)
“Teaching formal methods” Metadata:
- Title: Teaching formal methods
- Author: ➤ TFM 2009 (2009 Eindhoven, Netherlands)
- Language: English
- Number of Pages: Median: 175
- Publisher: Springer
- Publish Date: 2009
- Publish Location: Berlin
“Teaching formal methods” Subjects and Themes:
- Subjects: ➤ Development - Study and teaching - Congresses - Formale Methode - Formal methods (Computer science) - Informatikstudium - Computer software - Computer science - Software engineering
Edition Identifiers:
- The Open Library ID: OL25337197M
- Online Computer Library Center (OCLC) ID: 449850894
- Library of Congress Control Number (LCCN): 2009935818
- All ISBNs: 9783642049118 - 3642049117
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 Teaching formal methods at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
31Formal techniques for distributed systems
By International Conference on Formal Methods for Open Object-Based Distributed Systems (12th 2010 Amsterdam, Netherlands)
“Formal techniques for distributed systems” Metadata:
- Title: ➤ Formal techniques for distributed systems
- Author: ➤ International Conference on Formal Methods for Open Object-Based Distributed Systems (12th 2010 Amsterdam, Netherlands)
- Language: English
- Number of Pages: Median: 231
- Publisher: Springer
- Publish Date: 2010
- Publish Location: Berlin - New York
“Formal techniques for distributed systems” Subjects and Themes:
- Subjects: ➤ Distributed processing - Congresses - Formale Methode - Electronic data processing - Formal methods (Computer science) - Verteiltes System - Object-oriented programming (Computer science) - Logic design - Computer networks - Computer science - Software engineering
- Places: Amsterdam <2010>
Edition Identifiers:
- The Open Library ID: OL25313807M
- Online Computer Library Center (OCLC) ID: 641458922
- Library of Congress Control Number (LCCN): 2010927591
- All ISBNs: 9783642134630 - 3642134637
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 techniques for distributed systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
32Formal methods for industrial critical systems
By International Workshop on Formal Methods for Industrial Critical Systems (15th 2010 Antwerp, Belgium)
“Formal methods for industrial critical systems” Metadata:
- Title: ➤ Formal methods for industrial critical systems
- Author: ➤ International Workshop on Formal Methods for Industrial Critical Systems (15th 2010 Antwerp, Belgium)
- Language: English
- Number of Pages: Median: 230
- Publisher: Springer
- Publish Date: 2010
- Publish Location: Berlin - New York
“Formal methods for industrial critical systems” Subjects and Themes:
- Subjects: ➤ Software engineering - Formale Methode - Model Checking - Computer programs - Zuverlässigkeit - Softwareentwicklung - Congresses - Verification - Sicherheitskritisches System - Reliability - Formal methods (Computer science) - Systementwurf - Verifikation - Computer software - Logic design - Computer science
- Places: Antwerpen <2010>
Edition Identifiers:
- The Open Library ID: OL25365636M
- Online Computer Library Center (OCLC) ID: 666218587
- Library of Congress Control Number (LCCN): 2010934239
- All ISBNs: 3642158978 - 9783642158971
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 for industrial critical systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
33Programming languages and systems
By European Symposium on Programming (19th 2010 Paphos, Cyprus)
“Programming languages and systems” Metadata:
- Title: ➤ Programming languages and systems
- Author: ➤ European Symposium on Programming (19th 2010 Paphos, Cyprus)
- Language: English
- Number of Pages: Median: 632
- Publisher: Springer
- Publish Date: 2010
- Publish Location: New York - Berlin
“Programming languages and systems” Subjects and Themes:
- Subjects: ➤ Congresses - Programmierparadigma - Programmiersprache - Computer programming - Formale Methode - Programming languages (Electronic computers) - Programming languages (electronic computers)
Edition Identifiers:
- The Open Library ID: OL25304755M
- Online Computer Library Center (OCLC) ID: 586999180
- Library of Congress Control Number (LCCN): 2010921912
- All ISBNs: 9783642119569 - 3642119565
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 Programming languages and systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
34Software language engineering
By SLE 2009 (2009 Denver, Colo.)
“Software language engineering” Metadata:
- Title: Software language engineering
- Author: SLE 2009 (2009 Denver, Colo.)
- Language: English
- Number of Pages: Median: 383
- Publisher: Springer
- Publish Date: 2010
- Publish Location: Berlin - New York
“Software language engineering” Subjects and Themes:
- Subjects: ➤ Development - Kunstsprache - Software engineering - Software Engineering - Formale Methode - Programming languages (Electronic computers) - Congresses - Modellierung - Computer software - Logic design - Computer simulation - Information Systems - Computer science
Edition Identifiers:
- The Open Library ID: OL25296757M
- Online Computer Library Center (OCLC) ID: 603040813
- Library of Congress Control Number (LCCN): 2010922313
- All ISBNs: 9783642121067 - 3642121063
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 Software language engineering at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
35Formal Techniques for Distributed Systems
By Hutchison, David - undifferentiated
“Formal Techniques for Distributed Systems” Metadata:
- Title: ➤ Formal Techniques for Distributed Systems
- Author: ➤ Hutchison, David - undifferentiated
- Language: English
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2009
- Publish Location: Berlin, Heidelberg
“Formal Techniques for Distributed Systems” Subjects and Themes:
- Subjects: ➤ Logic design - Computer networks - Computer science - Software engineering - Electronic data processing - Congresses - Distributed processing - Object-oriented programming (Computer science) - Formal methods (Computer science) - Rechnernetz - Kongress - Softwarespezifikation - Formale Spezifikationstechnik - Software - Testen - Formale Methode - Verteiltes System - Electronic data processing, distributed processing - Object-oriented programming (computer science) - System design
Edition Identifiers:
- The Open Library ID: OL25548831M
- Online Computer Library Center (OCLC) ID: 401153802
- Library of Congress Control Number (LCCN): 2009936003
- All ISBNs: 9783642021374 - 3642021387 - 9783642021381 - 3642021379
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 Techniques for Distributed Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
36Computer Safety, Reliability, and Security
By Bettina Buth
“Computer Safety, Reliability, and Security” Metadata:
- Title: ➤ Computer Safety, Reliability, and Security
- Author: Bettina Buth
- Language: English
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2009
- Publish Location: Berlin, Heidelberg
“Computer Safety, Reliability, and Security” Subjects and Themes:
- Subjects: ➤ Computer system performance - Information systems - Software engineering - Data protection - Computer science - Computer software - Congresses - Reliability - Electronic digital computers - Computer security - Industrial safety - Computersicherheit - Kongress - Datensicherung - Zuverlässigkeit - Formale Methode - Eingebettetes System - Softwareentwicklung - Mensch-Maschine-Kommunikation - Technische Sicherheit - Systementwicklung - Sicherheitskritisches System - Fehlertoleranz
Edition Identifiers:
- The Open Library ID: OL25540340M
- Online Computer Library Center (OCLC) ID: 437303393
- Library of Congress Control Number (LCCN): 2009934307
- All ISBNs: 9783642044687 - 3642044689 - 9783642044670 - 3642044670
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 Safety, Reliability, and Security at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
37Algebra and Coalgebra in Computer Science
By Alexander Kurz
“Algebra and Coalgebra in Computer Science” Metadata:
- Title: ➤ Algebra and Coalgebra in Computer Science
- Author: Alexander Kurz
- Language: English
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2009
- Publish Location: Berlin, Heidelberg
“Algebra and Coalgebra in Computer Science” Subjects and Themes:
- Subjects: ➤ Logic design - Computational complexity - Computer science - Data processing - Algebra - Congresses - Mathematics - Formale Methode - Kongress - Theoretische Informatik - Koalgebra - Computer science, mathematics
Edition Identifiers:
- The Open Library ID: OL25544672M
- Online Computer Library Center (OCLC) ID: 428028788
- Library of Congress Control Number (LCCN): 2009932885
- All ISBNs: 3642037402 - 3642037410 - 9783642037405 - 9783642037412
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 Algebra and Coalgebra in Computer Science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
38Knowledge Representation for Agents and Multi-Agent Systems
By John-Jules Ch Meyer
“Knowledge Representation for Agents and Multi-Agent Systems” Metadata:
- Title: ➤ Knowledge Representation for Agents and Multi-Agent Systems
- Author: John-Jules Ch Meyer
- Language: English
- Publisher: ➤ Springer-Verlag Berlin Heidelberg
- Publish Date: 2009
- Publish Location: Berlin, Heidelberg
“Knowledge Representation for Agents and Multi-Agent Systems” Subjects and Themes:
- Subjects: ➤ Information storage and retrieval systems - Information systems - Computer science - Artificial intelligence - Data mining - Knowledge representation (Information theory) - Congresses - Intelligent agents (Computer software) - Agent <Informatik> - Kongress - Programmierung - Formale Methode - Wissensrepräsentation - Mehragentensystem - Agent (Informatik) - Knowledge representation (information theory) - Intelligent agents (computer software)
Edition Identifiers:
- The Open Library ID: OL25561588M
- Library of Congress Control Number (LCCN): 2009937292
- All ISBNs: 3642053009 - 3642053017 - 9783642053009 - 9783642053016
Access and General Info:
- First Year Published: 2009
- 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 Knowledge Representation for Agents and Multi-Agent Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
39Principles and Practice of Semantic Web Reasoning (vol. # 3703)
By François Fages
“Principles and Practice of Semantic Web Reasoning (vol. # 3703)” Metadata:
- Title: ➤ Principles and Practice of Semantic Web Reasoning (vol. # 3703)
- Author: François Fages
- Language: English
- Number of Pages: Median: 163
- Publisher: Springer
- Publish Date: 2005
“Principles and Practice of Semantic Web Reasoning (vol. # 3703)” Subjects and Themes:
- Subjects: ➤ Information storage and retrieval systems - Artificial intelligence - Computer science - Software engineering - Informatique - XML - Storage & Retrieval - Abfragesprache - Ontologie - Formale Methode - COMPUTERS - Congrès - Semantic Web - Web sémantique - System Administration - Inferenz - Congresses - Raisonnement (Informatique) - Online Services - Web site development
Edition Identifiers:
- The Open Library ID: OL9410666M
- Online Computer Library Center (OCLC) ID: 61666026
- Library of Congress Control Number (LCCN): 2005931600
- All ISBNs: 3540287930 - 9783540287933
Access and General Info:
- First Year Published: 2005
- 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 Principles and Practice of Semantic Web Reasoning (vol. # 3703) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
40Runtime verification
By RV 2009 (2009 Grenoble, France)
“Runtime verification” Metadata:
- Title: Runtime verification
- Author: ➤ RV 2009 (2009 Grenoble, France)
- Language: English
- Number of Pages: Median: 201
- Publisher: Springer
- Publish Date: 2009
- Publish Location: New York - Berlin
“Runtime verification” Subjects and Themes:
- Subjects: ➤ Echtzeitsystem - Monitoring (Informatik) - Computer software - Computersicherheit - Model Checking - Verification - Formal methods (Computer science) - Software - Datensicherung - Formale Methode - Testing - Aspect-oriented programming - Congresses - Echtzeitverarbeitung - Testen - Verifikation - Logic design - Computer system performance - Computer science - Software engineering - Operating systems (Computers) - Computer software, testing
Edition Identifiers:
- The Open Library ID: OL25155958M
- Online Computer Library Center (OCLC) ID: 449849018
- Library of Congress Control Number (LCCN): 2009935005
- All ISBNs: 9783642046933 - 3642046932
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 Runtime verification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
41On 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.
42Formal methods at the crossroads
By Bernhard K. Aichernig
“Formal methods at the crossroads” Metadata:
- Title: ➤ Formal methods at the crossroads
- Author: Bernhard K. Aichernig
- Language: English
- Publisher: Springer
- Publish Date: 2003
- Publish Location: Heidelberg - Berlin
“Formal methods at the crossroads” Subjects and Themes:
- Subjects: Formale Methode - Softwareentwicklung
Edition Identifiers:
- The Open Library ID: OL27039459M
- Online Computer Library Center (OCLC) ID: 723086987
- All ISBNs: 3540400079 - 9783540400073
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 the crossroads at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
43Formal methods for quantitative aspects of programming languages
By International School on Formal Methods for the Design of Computer, Communication, and Software Systems (10th 2010 Bertinoro, Italy)
“Formal methods for quantitative aspects of programming languages” Metadata:
- Title: ➤ Formal methods for quantitative aspects of programming languages
- Author: ➤ International School on Formal Methods for the Design of Computer, Communication, and Software Systems (10th 2010 Bertinoro, Italy)
- Language: English
- Number of Pages: Median: 167
- Publisher: Springer
- Publish Date: 2010
- Publish Location: New York - Berlin
“Formal methods for quantitative aspects of programming languages” Subjects and Themes:
- Subjects: ➤ Congresses - Programmiersprache - Formale Methode - Formal methods (Computer science) - Programmanalyse - Programming languages (Electronic computers) - Computer science - Web services - Internet
- Places: Bertinoro <2010>
Edition Identifiers:
- The Open Library ID: OL25375119M
- Online Computer Library Center (OCLC) ID: 644521774
- Library of Congress Control Number (LCCN): 2010928129
- All ISBNs: 9783642136771 - 364213677X
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Formal methods for quantitative aspects of programming languages at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
44Tests and proofs
By TAP 2010 (2010 Málaga, Spain)
“Tests and proofs” Metadata:
- Title: Tests and proofs
- Author: TAP 2010 (2010 Málaga, Spain)
- Language: English
- Number of Pages: Median: 182
- Publisher: Springer
- Publish Date: 2010
- Publish Location: Berlin
“Tests and proofs” Subjects and Themes:
- Subjects: ➤ Beweis - Model Checking - Testing - Programmtest - Quality control - Congresses - Formale Methode - Reliability - Softwareentwicklung - Softwaresystem - Computer software - Logic design - Computer science - Software engineering - Computer software, verification
- Places: Málaga <2010>
Edition Identifiers:
- The Open Library ID: OL25249740M
- Online Computer Library Center (OCLC) ID: 646006863
- Library of Congress Control Number (LCCN): 2010929258
- All ISBNs: 3642139760 - 9783642139765
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Tests and proofs at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
45Logic of Programs (Lecture Notes in Computer Science)
By E. Engeler
“Logic of Programs (Lecture Notes in Computer Science)” Metadata:
- Title: ➤ Logic of Programs (Lecture Notes in Computer Science)
- Author: E. Engeler
- Language: English
- Number of Pages: Median: 245
- Publisher: Springer
- Publish Date: 1981
- Publish Location: New York - Berlin
“Logic of Programs (Lecture Notes in Computer Science)” Subjects and Themes:
- Subjects: ➤ Symbolic and mathematical Logic - Computer programs - Computer programming - Congresses - Programmation (Mathématiques) - Datenverarbeitung - Logik - Programmierung - Formale Methode - Programmeurs - Logique symbolique et mathématique - Algoritmer - Kongresser - Matematisk logikk - Programming (Mathematics)
Edition Identifiers:
- The Open Library ID: OL3044714M
- Online Computer Library Center (OCLC) ID: 8161522 - 8098788
- Library of Congress Control Number (LCCN): 82137449
- All ISBNs: 0387111603 - 9780387111605
Access and General Info:
- First Year Published: 1981
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic of Programs (Lecture Notes in Computer Science) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.