Inhalt

Suche

Neue Suche

Formal methods in system design : an international journal

Dordrecht [u.a.] : Springer 1992 -

Diesen Titel auf die Merkliste setzen

Optionen

Exportieren MARC21xml JSON-LD Turtle RDF/XML Feedback

Bestellen

Mehr Titelinformationen

ZDB-ID

1122555-5

Titel

Formal methods in system design : an international journal

Erschienen

Dordrecht [u.a.] : Springer

Boston, Mass. [u.a.] : Kluwer [anfangs]

Boston, Mass. [u.a.] : Kluwer Acad. Publ. [1993-2004]

Erscheinungsverlauf

1.1992 -

Andere Ausgaben

Erscheint auch als Online-Ausgabe: Formal methods in system design (ISSN: 1572-8102)

Standardnummern

ISSN: 0925-9856

OCLC-Nr.: 632665902

Sacherschließung

DDC-Sachgruppen der ZDB: 004 Informatik

Weitere Klassifikation(en):
Systematik der TUB München (stub): DAT 550

Erscheinungsform

Zeitschrift

Erscheinungsland

Niederlande

Medientyp

Druckausgabe

IDN

016519442

Letzte Änderung

28-04-25

SchließenxKostenpflichtige Dokumentlieferdienste: Lieferung von Aufsatzkopien und Druckausgaben zur Ausleihe

Bitte beachten Sie: Die ZDB bietet lediglich den Link zum Bestellsystem und übernimmt keinerlei Gewähr für eine erfolgreiche Bestellung. Richten Sie Fragen bitte ausschließlich an die Auskunft Ihrer Heimatbibliothek. Bitte beachten Sie die Bedingungen der einzelnen Anbieter.