Formal methods and software engineering: proceedings

9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14 - 15, 2007. Michael Butler ...(eds.)

Berlin [u.a.]: Springer, 2007

Online Konferenzschrift, Sammelwerk, Elektronische Ressource - X, 386 S. : Ill., graph. Darst.

Zugriff:

Volltext [Interna: Verlag; Info: Zugriff nur im Hochschulnetz der Fachhochschule Lippe und Höxter bzw. für autorisierte Benutzer]

Titel:	Formal methods and software engineering: proceedings
Verantwortlichkeitsangabe:	9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14 - 15, 2007. Michael Butler ...(eds.)
Autor/in / Beteiligte Person:	Butler, Michael (1967-)
Körperschaft:	International Conference on Formal Engineering Methods
Lokaler Link:	Volltext [Interna: Verlag; Info: Zugriff nur im Hochschulnetz der Fachhochschule Lippe und Höxter bzw. für autorisierte Benutzer]
Verwandtes Werk:	Lecture notes in computer science — Weitere Bände
Veröffentlichung:	Berlin [u.a.]: Springer, 2007
Medientyp:	Konferenzschrift, Sammelwerk
Datenträgertyp:	Elektronische Ressource
Umfang:	X, 386 S. : Ill., graph. Darst.
ISBN:	9783540766483; 3540766480
Schlagwort:	Softwareentwicklung Formale Methode Softwaretest Verifikation Programmanalyse Model Checking Systementwicklung Zuverlässigkeit Fehlertoleranz
Sonstiges:	Online-Ressource [Kann nicht per Fernleihe bestellt werden!] Gesamttitelangabe: Lecture notes in computer science ; 4789 Literaturangaben Konferenzschrift: Boca Raton, Fla., 2007 hbz Verbund-ID: HT015419640

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.