Spezifikation

23 books
Funktionelle Analyse von KommunikationsprotokollenHeiko Krumm
⏱ 2h 0m

Funktionelle Analyse von Kommunikationsprotokollen

Heiko Krumm

1990120 pp.
Objektorientierte Spezifikation von InformationssystemenGunter Saake

Objektorientierte Spezifikation von Informationssystemen

Gunter Saake

1993No page data
TermersetzungssystemeKlaus Drosten

Termersetzungssysteme

Klaus Drosten

1989No page data
Ausführbare Spezifikation von Directory-Systemen in einer logischen SpracheRolf Stadler

Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache

Rolf Stadler

1991No page data
Algebraische SpezifikationH. A. Klaeren

Algebraische Spezifikation

H. A. Klaeren

1983No page data
Mathematisch-strukturelle Grundlagen der InformatikHartmut Ehrig

Mathematisch-strukturelle Grundlagen der Informatik

Hartmut Ehrig

2001No page data
Mathematisch-strukturelle Grundlagen der InformatikHartmut Ehrig

Mathematisch-strukturelle Grundlagen der Informatik

Hartmut Ehrig

1999No page data
A guide to writing successful engineering specificationsDavid C. Purdy
⏱ 2h 48m

A guide to writing successful engineering specifications

David C. Purdy

1991168 pp.
Algebraic specifications in software engineeringIvo van Horebeek
⏱ 5h 50m

Algebraic specifications in software engineering

Ivo van Horebeek

1989350 pp.
Requirements EngineeringGesellschaft für Informatik.

Requirements Engineering

Gesellschaft für Informatik.

1983No page data
Strategies for real-time system specificationDerek J. Hatley
⏱ 6h 26m

Strategies for real-time system specification

Derek J. Hatley

1987386 pp.
Algebraische Spezifikation abstrakter DatentypenHans-Dieter Ehrich
⏱ 3h 56m

Algebraische Spezifikation abstrakter Datentypen

Hans-Dieter Ehrich

1989236 pp.
Specifying and diagnostically testing econometric modelsHouston H. Stokes
⏱ 6h 31m

Specifying and diagnostically testing econometric models

Houston H. Stokes

1991391 pp.
Algebraic and logic programmingH. Kirchner
⏱ 6h 26m

Algebraic and logic programming

H. Kirchner

1990386 pp.
Handbook of financial econometrics tools and techniquesYacine Aït-Sahalia

Handbook of financial econometrics tools and techniques

Yacine Aït-Sahalia

2010No page data
Algebraic and logic programmingJ. Grabowski
⏱ 4h 38m

Algebraic and logic programming

J. Grabowski

1988278 pp.
Program development by specification and transformationBerthold Hoffmann
⏱ 10h 23m

Program development by specification and transformation

Berthold Hoffmann

1993623 pp.
Algebraic and logic programmingMichael Hanus
⏱ 5h 45m

Algebraic and logic programming

Michael Hanus

1996345 pp.
Program specificationJ. Staunstrup
⏱ 7h 6m

Program specification

J. Staunstrup

1982426 pp.
PrologPierre Deransart
⏱ 4h 32m

Prolog

Pierre Deransart

1996272 pp.
Page 1 of 2Next →