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
Formal Approaches to Agent-Based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Mathematics of dependable systems : based on the proceedings of a Conference on Mathematics of Dependable Systems, organized by the Institute of Mathematics and its Applications and held at Royal Holloway, University of London, in September 1993
Mathematics of dependable systems : 1 (Alle Bände), Institute of Mathematics and its Applications conference series : New series : 55 (Alle Bände)
1995
Signatur: TAY930692
    Datensatz exportieren als...
  • BibTeX
Formale Modelle der Softwareentwicklung : Model-Checking, Verifikation, Analyse und Simulation
Studium
1. Aufl, 2009
Signatur: TWQ13458
    Datensatz exportieren als...
  • BibTeX
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures [Elektronische Ressource]
2002
    Datensatz exportieren als...
  • BibTeX
Hardware-Design : formaler Entwurf digitaler Schaltungen
Teubner-Texte zur Informatik : 15 (Alle Bände), Lehrbuch Informatik
3., durchges. Aufl, 2005
Signatur: TWI3429(3)
    Datensatz exportieren als...
  • BibTeX
Program flow analysis : theory and applications
Prentice-Hall software series
1981
Signatur: TXB2383
    Datensatz exportieren als...
  • BibTeX
Software abstractions : logic, language, and analysis
2006
Signatur: TWQ11634
    Datensatz exportieren als...
  • BibTeX
Programming Languages : 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings [Elektronische Ressource]
2013
    Datensatz exportieren als...
  • BibTeX
Agent Technology from a Formal Perspective [Elektronische Ressource]
NASA Monographs in Systems and Software Engineering
2006
    Datensatz exportieren als...
  • BibTeX
Time for Verification : Essays in Memory of Amir Pnueli [Elektronische Ressource]
Lecture Notes in Computer Science : 6200
2010
    Datensatz exportieren als...
  • BibTeX
Programming Languages : 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings [Elektronische Ressource]
2014
    Datensatz exportieren als...
  • BibTeX
Logic programming : formal methods and practical applications
Studies in computer science and artificial intelligence : 11 (Alle Bände)
1995
Signatur: TVM3475
    Datensatz exportieren als...
  • BibTeX
Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings [Elektronische Ressource]
2013
Open Access
    Datensatz exportieren als...
  • BibTeX
Programming Languages and Systems
2020
    Datensatz exportieren als...
  • BibTeX
Integrated Formal Methods : Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings [Elektronische Ressource]
2000
    Datensatz exportieren als...
  • BibTeX
Validated Designs for Object-oriented Systems [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Formal Methods: Foundations and Applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings [Elektronische Ressource]
2013
    Datensatz exportieren als...
  • BibTeX
Formale Modelle der Softwareentwicklung : Model-Checking, Verifikation, Analyse und Simulation [Elektronische Ressource]
2009
    Datensatz exportieren als...
  • BibTeX
Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers [Elektronische Ressource]
2003
    Datensatz exportieren als...
  • BibTeX
Formal Methods: State of the Art and New Directions [Elektronische Ressource]
2010
    Datensatz exportieren als...
  • BibTeX
Integrated Formal Methods : Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings [Elektronische Ressource]
2002
    Datensatz exportieren als...
  • BibTeX
Dynamic analysis of Petri net-based discrete systems
Lecture notes in control and information sciences : 356 (Alle Bände)
2007
Signatur: TVG1651
    Datensatz exportieren als...
  • BibTeX
FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings [Elektronische Ressource]
2015
    Datensatz exportieren als...
  • BibTeX
Applied Formal Methods — FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings [Elektronische Ressource]
1999
    Datensatz exportieren als...
  • BibTeX
Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings [Elektronische Ressource]
2013
1 – 25 von 328
Suche als RSS-Feed
Aktive Filter
SpracheItalienisch
SchlagwortFormale Methode
Suchergebnisse filtern
Filter anzeigen