Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Verification of sequential and concurrent programs
Graduate texts in computer science
2. ed, 1997
Signatur: TVM2568(2)
    Datensatz exportieren als...
  • BibTeX
Beautiful testing : leading professionals reveal how they improve software
2010
Signatur: TWQ12876
    Datensatz exportieren als...
  • BibTeX
Modultest und Modulverifikation : state of the art
Angewandte Informatik : 4 (Alle Bände)
1990
Signatur: TWQ4108
    Datensatz exportieren als...
  • BibTeX
Program logics for certified compilers
2014
Signatur: TWS4108
    Datensatz exportieren als...
  • BibTeX
Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen
Berichte der Gesellschaft für Mathematik und Datenverarbeitung : 144 (Alle Bände)
1985
Signatur: TUF1018-144
    Datensatz exportieren als...
  • BibTeX
Testing computer software
Software development, software testing
2. ed, 1999
Signatur: TXB3698(2)
    Datensatz exportieren als...
  • BibTeX
Formal development of programs and proofs
The UT year of programming series
1990
Signatur: TVH2131
    Datensatz exportieren als...
  • BibTeX
Design and validation of computer protocols
Prentice Hall software series
1991
Signatur: TWP3725
    Datensatz exportieren als...
  • BibTeX
Sachlogische Programmprüfung : Untersuchung zur EDV-Programmprüfungsdurchführung bei Anwendung der "Sachlogischen Programmprüfungsmethode"
1977
Signatur: QCI2979
    Datensatz exportieren als...
  • BibTeX
Linguistische Verifikation : Dokumentation zur Ersten Morpholympics 1994
Sprache und Information : 34 (Alle Bände)
1996
Signatur: BFP2646
    Datensatz exportieren als...
  • BibTeX
The calculus of computation : decision procedures with applications to verification
2007
Signatur: TVD2288
    Datensatz exportieren als...
  • BibTeX
Real-time systems : formal specification and automatic verification
2008
Signatur: TWT6511
    Datensatz exportieren als...
  • BibTeX
Rechnergestützte Anwendung der allgemeinen Intermittent-Assertion-Methode auf while-Konstrukte
1993
Signatur: D9096
    Datensatz exportieren als...
  • BibTeX
Verification of Sequential and Concurrent Programs [Elektronische Ressource]
Texts in Computer Science
2009
    Datensatz exportieren als...
  • BibTeX
Data refinement : model-oriented proof methods and their comparison
Cambridge tracts in theoretical computer science : 47 (Alle Bände)
1998
Signatur: TVA3166
    Datensatz exportieren als...
  • BibTeX
Model checking
The cyber-physical systems series
second edition, 2018
Signatur: TWQ9679(2)
    Datensatz exportieren als...
  • BibTeX
Automated reasoning : introduction and applications
3. [Dr.], c 1984
Signatur: TVV3713
    Datensatz exportieren als...
  • BibTeX
Aliasing in object-oriented programming : types, analysis, and verification
Lecture notes in computer science : 7850 (Alle Bände)
2013
Signatur: TXB7846
    Datensatz exportieren als...
  • BibTeX
Systems and software verification : model checking techniques and tools
Updated version of the French language ed, 2001
Signatur: TVA2982
    Datensatz exportieren als...
  • BibTeX
Rigorous Software Development : An Introduction to Program Verification [Elektronische Ressource]
Undergraduate Topics in Computer Science
2011
    Datensatz exportieren als...
  • BibTeX
Perspectives of system informatics : revised papers [Elektronische Ressource]
Lecture notes in computer science : 2890 (Alle Bände)
2003
  • Link zum Volltext
  • Zugriff nur im Hochschulnetz der Universität Paderborn bzw. für autorisierte Benutzer
    Datensatz exportieren als...
  • BibTeX
Concurrency verification : introduction to compositional and noncompositional methods
Cambridge tracts in theoretical computer science : 54 (Alle Bände)
2001
Signatur: TWT5939
    Datensatz exportieren als...
  • BibTeX
Constructing Correct Software [Elektronische Ressource]
Second Edition, 2005
    Datensatz exportieren als...
  • BibTeX
Die Prüfung von ADV-Programmen : eine entscheidungsorientierte Analyse der Methoden zur Revision von Softwaresystemen
Reihe: Steuer, Wirtschaft und Recht : 10 (Alle Bände)
1. Aufl, 1985
Signatur: QDO1919
    Datensatz exportieren als...
  • BibTeX
Logic and computer science : held at Montecatini Terme, Italy, June 20 - 28, 1988
Lecture notes in mathematics : 1429 (Alle Bände), Lectures given at the ... session of the Centro Internazionale Matematico Estivo (CIME) : 1988,1 (Alle Bände)
1990
Signatur: TAY880740
1 – 25 von 149
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen