Zum Inhalt springen

Tews, Hendrik [VerfasserIn]

The coalgebraic class specification language CCSL : syntax and semantics

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

Anwendung von PVS zur Codegenerator-Verifikation

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Prentice Hall international series in computer science
Woodcock, Jim [VerfasserIn]; Davies, Jim [VerfasserIn]

Using Z : specification, refinement, and proof

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Tutorial guides in computing and information systems
Diller, Antoni [VerfasserIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Prentice Hall international series in computer science
Spivey, J. M. [VerfasserIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Cambridge tracts in theoretical computer science ; 3
Tews, Hendrik [VerfasserIn]

Coalgebraische Methoden für objektorientierte Spezifikation

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2002
Koch, Wilfried [VerfasserIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

1980
Huss, Sorin A. [HerausgeberIn] ; 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]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dordrecht: Springer, 2007

Erschienen in: Chip design languages series
Lindholm, Tim [VerfasserIn]; Yellin, Frank [VerfasserIn] ; Campione, Mary [Sonstige Person, Familie und Körperschaft]; Walrath, Kathy [Sonstige Person, Familie und Körperschaft]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Java/TM series
Solvie, Geert [VerfasserIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Düsseldorf: VDI-Verl., 1994

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Hoboken, NJ: Wiley-Interscience, c2008

Erschienen in: Wiley series on parallel and distributed computing
Fischer, Herbert [HerausgeberIn] ; 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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Heidelberg [u.a.]: Springer, 2013

Erschienen in: Communications in computer and information science ; 360
Petersohn, Carsta [VerfasserIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

Ein Kontrollmodell für die strukturierte Analyse

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

1995
Conrad, Stefan [VerfasserIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Düsseldorf: VDI-Verl., 1994

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Aachen: Shaker, 1994

Erschienen in: Berichte aus der Informatik

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr