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 14 von 249
    Datensatz exportieren als...
  • BibTeX
FM 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings [Elektronische Ressource]
2014

Details

Autor(en) / Beteiligte
Titel
FM 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings [Elektronische Ressource]
Ort / Verlag
Cham : Springer International Publishing
Erscheinungsjahr
2014
Link zum Volltext
Sprache
Englisch
Identifikatoren
ISBN: 9783319064109
DOI: 10.1007/978-3-319-06410-9
OCLC-Nummer: 878117097, 878117097
Titel-ID: 990203737560206441
Format
XVIII, 750 p. 185 illus
Schlagworte
Formale Methode, Computer science, Software engineering, Logic design, Information Systems