Skip to contents

Tews, Hendrik [Author]

The coalgebraic class specification language CCSL : syntax and semantics

Close

Bookmarks

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

Dresden: Techn. Univ., Fakultät Informatik, 2002

Published in: Technische Universität Dresden: Technische Berichte ; 2002,08
Meyer, Thies [Author]

Anwendung von PVS zur Codegenerator-Verifikation

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, 1996

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9602
Bowen, Jonathan P. [Author]

Formal specification and documentation using Z : a case study approach - [1. print.]

Close

Bookmarks

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

London [u.a.]: International Thomson Computer Press, 1996
Potter, Ben [Author]; Sinclair, Jane [Author]; Till, David [Author]

An introduction to formal specification and Z - [2. ed., Nachdr.]

Close

Bookmarks

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

London [u.a.]: Prentice Hall, 1997

Published in: Prentice Hall international series in computer science
Woodcock, Jim [Author]; Davies, Jim [Author]

Using Z : specification, refinement, and proof

Close

Bookmarks

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

London [u.a.]: Prentice-Hall, 1996

Published in: Prentice-Hall international series in computer science
Rann, David [Author]; Turner, John [Author]; Whitworth, Jenny [Author]

Z: a beginner's guide - [Repr.]

Close

Bookmarks

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

London; Bonn [u.a.]: Internat. Thomson Computer Pr., 1995

Published in: Tutorial guides in computing and information systems
Diller, Antoni [Author]

Z : an introduction to formal methods - [2. ed.]

Close

Bookmarks

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

Chichester [u.a.]: Wiley, 1994
Spivey, J. M. [Author]

The Z notation : a reference manual - [Nachdr.]

Close

Bookmarks

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

New York [u.a.]: Prentice Hall, [1990], c 1989

Published in: Prentice Hall international series in computer science
Spivey, J. M. [Author]

Understanding Z : a specification language and its formal semantics - [1 publ.]

Close

Bookmarks

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

Cambridge [u.a.]: Cambridge Univ. Pr., 1988

Published in: Cambridge tracts in theoretical computer science ; 3
Tews, Hendrik [Author]

Coalgebraische Methoden für objektorientierte Spezifikation

Close

Bookmarks

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

2002
Koch, Wilfried [Author]

Ein Beitrag zur Entwicklung entwurfsunterstützender Spezifikationssprachen für Automatisierungssysteme

Close

Bookmarks

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

1980
Huss, Sorin A. [Editor] ; FDL 9 2006 Darmstadt

Advances in design and specification languages for embedded systems : selected constributions from FDL '06 ; [selected papers presented at the Forum on Specification and Design Languages, FDL '06, which took place in September 2006 at Technische Universität Darmstadt, Germany]

Close

Bookmarks

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

Dordrecht: Springer, 2007

Published in: Chip design languages series
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
Solvie, Geert [Author]

Adaptive Kommunikationsunterstützung in offenen Systemen - [Als Ms. gedr.]

Close

Bookmarks

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

Düsseldorf: VDI-Verl., 1994

Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 301
Yoeli, Michael [Author]; Kol, Rakefet [Author]

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Close

Bookmarks

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

Hoboken, NJ: Wiley-Interscience, c2008

Published in: Wiley series on parallel and distributed computing
Fischer, Herbert [Editor] ; S BPM ONE 5 2013 Deggendorf

S-BPM ONE - running processes : 5th international conference, S-BPM ONE 2013, Deggendorf, Germany, March 11 - 12, 2013 ; proceedings

Close

Bookmarks

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

Heidelberg [u.a.]: Springer, 2013

Published in: Communications in computer and information science ; 360
Petersohn, Carsta [Author]

Data and control flow diagrams, statecharts and Z : their formalization, integration and real time extension

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, 1997

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9801
Beeck, Michael von der [Author]

Ein Kontrollmodell für die strukturierte Analyse

Close

Bookmarks

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

1995
Conrad, Stefan [Author]

Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte - [Als Ms. gedr.]

Close

Bookmarks

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

Düsseldorf: VDI-Verl., 1994

Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 295
Schweiger, Johann [Author]

Ein Formalismus für die Generierung von Expertensystemen zur Lösung von Konfigurationsaufgaben aus konzeptuellen Spezifikationen des Expertenwissens

Close

Bookmarks

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

Aachen: Shaker, 1994

Published in: Berichte aus der Informatik

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