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 15 von 111
    Datensatz exportieren als...
  • BibTeX
Web Services and Formal Methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers [Elektronische Ressource]
2014

Details

Autor(en) / Beteiligte
Titel
Web Services and Formal Methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers [Elektronische Ressource]
Ort / Verlag
Cham : Springer International Publishing
Erscheinungsjahr
2014
Link zum Volltext
Link zu anderen Inhalten
Sprache
Englisch
Identifikatoren
ISBN: 9783319082608
DOI: 10.1007/978-3-319-08260-8
OCLC-Nummer: 882281487, 882281487
Titel-ID: 990204420930206441
Format
IX, 189 p. 37 illus
Schlagworte
Web Services, Serviceorientierte Architektur, Formale Methode, Computer science, Software engineering, Logic design, Information Systems