UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 69

Sortiert nach

Using Z : specification, refinement, and proof

Prentice Hall international series in computer science

[Repr.], Digital printing, 2004

Signatur: TXU10849

Special issue on Formal methods in industry

Science of computer programming : 36,1 (Alle Bände)

Cuellar, Jorge[Herausgeber]

2000

Signatur: 64s19

The B-book : assigning programs to meanings

Abrial, Jean-Raymond

1996

Signatur: TXA3554

Eine Methode zur formalen Verifikation von RISC-Prozessoren

Tahar, Sofiène

1994

Signatur: D10105

Introducing formal methods : a less mathematical approach

Ellis Horwood series in computers and their applications

1993

Signatur: TVA2283

Real-time systems : formal specification and automatic verification

2008

Signatur: TWT6511

Eine Methode zur formalen Verifikation von RISC-Prozessen

Fortschritt-Berichte VDI : Reihe 10, Informatik, Kommunikationstechnik : 350 (Alle Bände)

Tahar, Sofiène

Als Ms. gedr, 1995

Signatur: TWD1587

Praxis der rechnergestützten Implementierung von Kommunikationsprotokollen

Fortschrittberichte VDI : Reihe 10, Informatik, Kommunikationstechnik : 374 (Alle Bände)

Held, Thomas

Als Ms. gedr, 1995

Signatur: TWP6634

Spezifikationsbasiertes Testen verteilter Systeme

Berichte der Gesellschaft für Mathematik und Datenverarbeitung : 231 (Alle Bände)

Bieler, Frank

1994

Signatur: TUF1018-231

Theoretical foundations of VLSI design

Cambridge tracts in theoretical computer science : 10 (Alle Bände)

Macevoy, Ken[Herausgeber]

1990

Signatur: YGQ3048

Objektorientierte Spezifikation hybrider Systeme

GMD-Berichte : 289 (Alle Bände)

Friesen, Viktor

1997

Signatur: TUF1018-289

Performance oriented specification of communication protocols and verification of deterministic bounds of their QoS characteristics

GMD-Bericht : 242 (Alle Bände)

Schieferdecker, Ina

1995

Signatur: TUF1018-242

Specification and validation methods

International school for computer scientists, Oxford science publications

Börger, Egon[Herausgeber]

1995

Signatur: TUA2792

Systems construction and analysis : a mathematical and logical framework

Eine Methode zur Spezifikation von Geometrie und Struktur zweidimensionaler Darstellungen

GMD-Berichte : 256 (Alle Bände)

Gabriel, Robert

1995

Signatur: TUF1018-256

Recent Trends in Algebraic Development Techniques : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers

Theoretical Computer Science and General Issues : 11563

1st ed. 2019, 2019

Formal Refinement for Operating System Kernels [Elektronische Ressource]

Craig, Iain D

2007

Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2007 (ZDB-2-SCS)

Formal methods in circuit design

Cambridge tracts in theoretical computer science : 37 (Alle Bände)

Stavridou, Victoria

1993

Signatur: TVE3190

Formal Foundations for Software Engineering Methods [Elektronische Ressource]

Hußmann, Heinrich

1997

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Fundamentals of Algebraic Graph Transformation [Elektronische Ressource]

Monographs in Theoretical Computer Science. An EATCS Series

2006

Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2006 (ZDB-2-SCS)

Wohlgeformtheits-Kriterien für kompositionelle Spezifikationen paralleler zeitkritischer Systeme

GMD-Berichte : 257 (Alle Bände)

Trescher, Joachim

1996

Signatur: TUF1018-257

Logic and its applications

1996

Signatur: TVD2042

Ein Multicast-Transportprotokoll zur Unterstützung paralleler Programme in Workstation-Clustern

Fortschritt-Berichte VDI : Reihe 10, Informatik, Kommunikationstechnik : 413 (Alle Bände)

Wittenberg, Ralf

Als Ms. gedr, 1996

Signatur: P1012, TWT4470

Kontrolliertes Englisch für Anforderungsspezifikationen

Schwitter, Rolf

1998

Signatur: D12321

Towards verified systems

Real time safety critical systems : 2 (Alle Bände)

Bowen, Jonathan P[Herausgeber]

1994

Signatur: TWG6833

1 – 25 von 69

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(41)
Gedruckt
(28)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(69)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(40)
Deutsch
(10)

Systemstelle

TWT
(6)
TUF
(5)
TVE
(3)
64
(2)
TWP
(2)
YGQ
(2)
DKF
(1)
TUA
(1)
TVA
(1)
TVD
(1)
TVM
(1)
TVS
(1)
TVU
(1)
TVV
(1)
TWD
(1)
TWG
(1)
TWI
(1)
TXA
(1)
TXU
(1)

14 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Using Z : specification, refinement, and proof

Special issue on Formal methods in industry

The B-book : assigning programs to meanings

Eine Methode zur formalen Verifikation von RISC-Prozessoren

Introducing formal methods : a less mathematical approach

Real-time systems : formal specification and automatic verification

Eine Methode zur formalen Verifikation von RISC-Prozessen

Praxis der rechnergestützten Implementierung von Kommunikationsprotokollen

Spezifikationsbasiertes Testen verteilter Systeme

Theoretical foundations of VLSI design

Objektorientierte Spezifikation hybrider Systeme

Performance oriented specification of communication protocols and verification of deterministic bounds of their QoS characteristics

Specification and validation methods

Systems construction and analysis : a mathematical and logical framework

Eine Methode zur Spezifikation von Geometrie und Struktur zweidimensionaler Darstellungen

Recent Trends in Algebraic Development Techniques : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers

Formal Refinement for Operating System Kernels [Elektronische Ressource]

Formal methods in circuit design

Formal Foundations for Software Engineering Methods [Elektronische Ressource]

Fundamentals of Algebraic Graph Transformation [Elektronische Ressource]

Wohlgeformtheits-Kriterien für kompositionelle Spezifikationen paralleler zeitkritischer Systeme

Logic and its applications

Ein Multicast-Transportprotokoll zur Unterstützung paralleler Programme in Workstation-Clustern

Kontrolliertes Englisch für Anforderungsspezifikationen

Towards verified systems

Suchergebnisse filtern