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 23 von 38
Open Access
    Datensatz exportieren als...
  • BibTeX
Formal Methods and Software Development : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 [Elektronische Ressource]
1985
Volltextzugriff (PDF)

Details

Autor(en) / Beteiligte
Titel
Formal Methods and Software Development : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 [Elektronische Ressource]
Ort / Verlag
Berlin [u.a.] : Springer
Erscheinungsjahr
1985
Link zu anderen Inhalten
Beschreibungen/Notizen
  • Sofern kein Zugang über ein Universitätsnetz zur Verfügung steht, kann eine Registrierung zur kostenlosen Nutzung erfolgen: http://www.nationallizenzen.de
Sprache
Englisch
Identifikatoren
ISBN: 9783540151999, 9783540393078
OCLC-Nummer: 793075123, 793075123
Titel-ID: 990198805020206441
Format
–

Angaben zur Sekundärform

Teil von
Springer Lecture Notes Archive