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 3 von 134
    Datensatz exportieren als...
  • BibTeX
Formal Techniques for Networked and Distributed Systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings [Elektronische Ressource]
2005
Volltextzugriff (PDF)

Details

Autor(en) / Beteiligte
Titel
Formal Techniques for Networked and Distributed Systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings [Elektronische Ressource]
Ort / Verlag
Berlin Heidelberg : Springer-Verlag GmbH.
Erscheinungsjahr
2005
Sprache
–
Identifikatoren
ISBN: 9783540320845
DOI: 10.1007/11562436
OCLC-Nummer: 1074038660, 1074038660
Titel-ID: 990018159540106463
Format
–
Schlagworte
Verteiltes System, Formale Methode, Rechnernetz, Softwarespezifikation, Formale Spezifikationstechnik, Software, Testen, Computer Communication Networks, Logic design, Operating systems (Computers), Software engineering