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...
Zur Ergebnisliste
Ergebnis 13 von 97
    Datensatz exportieren als...
  • BibTeX
Leveraging applications of formal methods : first international symposium ; revised selected papers [Elektronische Ressource]
Lecture notes in computer science : 4313 (Alle Bände)
2006
Volltextzugriff (PDF)

Details

Autor(en) / Beteiligte
Titel
Leveraging applications of formal methods : first international symposium ; revised selected papers [Elektronische Ressource]
Ist Teil von
Ort / Verlag
Berlin [u.a.] : Springer
Erscheinungsjahr
2006
Sprache
Englisch
Identifikatoren
ISBN: 9783540489283, 3540489282
OCLC-Nummer: 657631344, 657631344
Titel-ID: 990009554290106463
Format
VIII, 196 S. : graph. Darst.
Schlagworte
Softwareentwicklung, Formale Methode, Online-Ressource, Programmanalyse, Programmverifikation, Systementwurf, Systemanalyse, Verifikation