KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Buch

Integration of software specification techniques for applications in engineering : priority program Softspez of the German Research Foundation (DFG) ; final report (2004)

Ehrig, Hartmut, 1944-2016.

Berlin u.a. :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_BV019413711

Umfang: X, 628 S. : , Ill.

ISBN: 3-540-23135-8

Serie: Lecture notes in computer science 3147 : State-of-the-art survey

Sprache: Englisch

Fachgebiete: Informatik

RVK:

SS 4800

Schlagwort(e): Technisches System ; Softwareentwicklung ; Softwarespezifikation ; Leitsystem ; Prozessregelung ; Softwarespezifikation ; UML ; Prozessautomation ; Petri-Netz ; Formale Spezifikationstechnik ; Verifikation ; Sicherheitskritisches System ; Softwarespezifikation ; Formale Methode ; Verifikation ; Aufsatzsammlung

Mehr zum Autor: Ehrig, Hartmut, 1944-2016.

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

HU Berlin

Treffer 1 - 1 | 1 Treffer

Kooperativer Bibliotheksverbund

Berlin Brandenburg