Explore Books on
formale spezifikationstechnik

Formal object-oriented development

By Kevin Lano

The construction of formal specifications

By J. G. Turner,T. L. McCluskey

An introduction to formal specification with Z and VDM

By Deri Sheppard

A theory and practice of program development

By Derek Andrews

Formal methods in human-computer interaction

By Philippe Palanque

Requirements targeting software and systems engineering

By International Workshop RTSE '97 (1997 Bernried, Weilheim-Schongau, Germany)

Digitale Hardware/Software-Systeme

By Christian Haubelt

Archivierung in Datenbanksystemen

By Ralf Schaarschmidt

Formal methods and object technology

By Stephen J. Goldsack

Programming languages and systems

By APLAS 2008 (2008 Bangalore, India)

Eine formale algorithmische Synthese digitaler Schaltungen

By Kai Kapp

Formal Techniques for Distributed Systems

By Hutchison, David - undifferentiated

Recent Trends in Algebraic Development Techniques

By Andrea Corradini

Specification and verification of object oriented software components

By Andreas Roth

The Z formal specification notation

By Jonathan P. Bowen,Michael G. Hinchey