Skip to contents

Reck, Martin [Author]

Methoden und Beschreibungsmittel für die Programmentwicklung : von informellen zu formalen Spezifikationen durch Petri-Netze und abstrakten Datentypen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiesbaden: Forkel-Verl., 1991

Published in: Schriftenreihe Integrierte Datenverarbeitung in der Praxis ; 47 b
Demetrovics, János [Author]; Knuth, Előd [Author]; Radó, Péter [Author]

Avtomatizirovannye metody specifikacii

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Moskva: "Mir", 1989
Dömges, Ralf [Author]

Projektspezifische Methoden zur Nachvollziehbarkeit von Anforderungsspezifikationen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Techn. Hochsch., Fachgruppe Informatik, 1999

Published in: Aachener Informatik-Berichte ; 99,9
Goldsack, Stephen J. [Editor]

Ada for specification : possibilities and limitations

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge Univ. Press, 1985

Published in: The Ada companion series
Timm, Michael [Author]

Grundlagen von Anforderungs- und Entwurfsspezifikationen im Prozeß der Software-Entwicklung

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

St. Augustin: Ges. für Mathematik u. Datenverarbeitung, Bonn, 1982

Published in: Gesellschaft für Mathematik und Datenverarbeitung: GMD-Studien ; 6600
Platt, David S. [Author]

COM+ verstehen : [die Möglichkeiten der Unternehmensprogrammierung mit COM+]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Unterschleißheim: Microsoft Press, 1999

Published in: Fachbibliothek
Eddon, Guy [Author]; Eddon, Henry [Author]

Inside COM+

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Unterschleißheim: Microsoft Press Deutschland, 2000

Published in: Fachbibliothek
Nissanke, Nimal [Author]

Formal specification : techniques and applications

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

London; Berlin; Heidelberg [u.a.]: Springer, 1999
Gosling, James [Author]; Joy, Bill [Author]; Steele, Guy L. [Author] ; Heymann, Dorothea [Other]; Steele, Guy L. [Other]

Java - die Sprachspezifikation : [die offizielle Dokumentation von Java Soft ; auch gültig für Version 1.1] - [1. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Bonn [u.a.]: Addison-Wesley, 1997

Published in: Java series
Waite, William M. [Author]; Grosch, Josef [Author]; Schröer, Friedrich Wilhelm [Author]

Three compiler specifications

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Sankt Augustin: GMD, 1989

Published in: Gesellschaft für Mathematik und Datenverarbeitung: GMD-Studien ; 16600
International Workshop on Software Specification and Design, IEEE Computer Society

International Workshop on Software Specification and Design

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Washington, DC: IEEE Computer Soc. Pr., 1985-1985 / Nachgewiesen 3.1985
Krieg-Brückner, Bernd [Editor]

Programmentwicklung durch Spezifikation und Transformation : Bremer Beiträge zum Verbundprojekt KORSO (Korrekte Software)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Bremen: [Univ., Fachbereich Mathematik und Informatik], 19XX-

Published in: Bericht / Universität Bremen, Fachbereich Mathematik und Informatik ; .
Lindholm, Tim [Author]; Yellin, Frank [Author] ; Campione, Mary [Other]; Walrath, Kathy [Other]

Java - Die Spezifikation der virtuellen Maschine : [die offizielle Dokumentation von JavaSoft ; auch gültig für Version 1.1] - [1. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Bonn [u.a.]: Addison-Wesley, 1997

Published in: Java/TM series
Buth, Bettina [Author]

Operation refinement proofs for VDM-like specifications

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kiel: Inst. für Informatik und Praktische Mathematik, 1995

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9501
Gehrmann, Uwe [Author]

Eine Methode für Entwurf und Spezifikation von Protokollkonvertern

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Hildesheim: Institut für Betriebssysteme & Rechnerverbund, 1994

Published in: Hildesheimer Informatik-Berichte ; 94,8
Braun, Dieter [Author]

Anforderungen beim operationellen Einsatz von Expertensystemen am Beispiel der automatisierten Konfiguration eines lokalen Breitbandnetzes

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1991
Zimbel, Roland [Author]

Graphische Spezifikationen : ein graphik-adäquater, objektzentrierter Kalkül zur Entwicklung korrekter Programme

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruhe, 1991

Published in: FZI Dissertation
Pieper, Franciscus T. [Author]

Data machines and interfaces

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1989
Tucker, John V. [Author]; Zucker, Jeffery I. [Author]

Program correctness over abstract data types, with error-state semantics

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam [u.a.]: North-Holland, 1988

Published in: Centrum voor Wiskunde en Informatica: CWI monographs ; 500
Hohlfeld, Bernhard [Author]

Zur Verifikation von modular zerlegten Programmen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1988

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication