KOBV-Portal

Online-Ressource

Towards a formal description of Ada (1980)

Bjørner, Dines [Sonstige] 1937-

Berlin [u.a.] : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

b3kat_BV036033837

Umfang: 1 Online-Ressource (XII, 630 S.)

ISBN: 3540102833 , 0387102833

Serie: Lecture notes in computer science 98

Sprache: Englisch

Fachgebiete: Informatik

RVK:

SS 4800

Schlagwort(e): Ada

DOI: 10.1007/3-540-10283-3

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: lizenzpflichtig

Mehr zum Autor: Bjørner, Dines 1937-

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Online Zugang

Open Access Wunsch

Stabi Berlin

UB Potsdam

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Buch

Towards a formal description of Ada / (1980)

Bjørner, Dines 1937-

Berlin [u.a.] :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almafu_BV001997141

Umfang: XII, 630 S.

ISBN: 3-540-10283-3 , 0-387-10283-3

Serie: Lecture notes in computer science 98

Sprache: Englisch

Fachgebiete: Informatik

RVK:

SS 4800

Schlagwort(e): Ada

Mehr zum Autor: Bjørner, Dines 1937-

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

HU Berlin

FU Berlin

Online-Ressource

Towards a Formal Description of Ada (1980)

Bjorner, D. ; Oest, O.N.

Berlin, Heidelberg : Springer Berlin Heidelberg

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

gbv_1649197950

Umfang: Online-Ressource

ISBN: 9783540384151

Serie: Lecture Notes in Computer Science 98

Weitere Ausg.: ISBN 9783540102830

Weitere Ausg.: Buchausg. u.d.T. Towards a formal description of Ada Berlin : Springer, 1980 ISBN 3540102833

Weitere Ausg.: ISBN 0387102833

Sprache: Englisch

Fachgebiete: Informatik

RVK:

ST 250

RVK:

SS 4800

Schlagwort(e): Ada

DOI: 10.1007/3-540-10283-3

URL: Volltext

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Online Zugang

Open Access Wunsch

Stabi Berlin

Buch

Towards a formal Description of Ada (1980)

Bjørner, Dines 1937-

Berlin : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

b3kat_BV024668119

Umfang: XII, 630 S.

ISBN: 3540102833 , 0387102833

Serie: Lecture notes in computer science 98

Sprache: Unbestimmte Sprache

Fachgebiete: Informatik

RVK:

SS 4800

Schlagwort(e): Ada

Mehr zum Autor: Bjørner, Dines 1937-

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

TU Berlin

Buch

Towards a formal Description of Ada (1980)

Bjørner, Dines 1937-

Berlin : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

b3kat_BV024668120

Umfang: XII, 630 S.

ISBN: 3540102833 , 0387102833

Serie: Lecture notes in computer science 98

Sprache: Unbestimmte Sprache

Fachgebiete: Informatik

RVK:

SS 4800

Schlagwort(e): Ada

Mehr zum Autor: Bjørner, Dines 1937-

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

TU Berlin

Buch

Towards a formal description of Ada (1980)

Bjørner, Dines ; Bjoerner, Dines

Berlin : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

gbv_02727652X

Umfang: XII, 630 S. , graph. Darst.

ISBN: 3540102833 , 0387102833

Serie: Lecture notes in computer science 98

Anmerkung: Literaturverz. S. 626 - 630

Weitere Ausg.: Online-Ausg. Towards a formal description of Ada Berlin [u.a.] : Springer, 1980 ISBN 9783540384151

Weitere Ausg.: Erscheint auch als Online-Ausgabe Bjorner, D. Towards a Formal Description of Ada Berlin, Heidelberg : Springer Berlin Heidelberg, 1980 ISBN 9783540384151

Sprache: Englisch

Fachgebiete: Informatik

RVK:

ST 250

RVK:

SS 4800

Schlagwort(e): Ada

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

Stabi Berlin

Treffer 1 - 6 | 6 Treffer

Nichts oder nicht das Richtige gefunden? Bitte überprüfen Sie Ihre Suchanfrage oder benutzen Sie den Fernleihindex.

Kooperativer Bibliotheksverbund

Berlin Brandenburg