Filter

Softwarespezifikation

13 books found

The construction of formal specifications
The construction of formal specifications

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

1993 2 ed.
Software engineering and middleware
Software engineering and middleware

by SEM 2002 (2002 Orlando, Fla.)

2003 1 ed.
Verification of object-oriented software
Verification of object-oriented software

by Bernhard Beckert

2007 1 ed.
Fields of logic and computation
Fields of logic and computation

by Yuri Gurevich, Andreas Blass

2010 1 ed.
Formal Techniques for Distributed Systems
Formal Techniques for Distributed Systems

by Hutchison, David - undifferentiated

2009 1 ed.
Program specification
Program specification

by J. Staunstrup

1982 1 ed.
Interactive systems
Interactive systems

by DSV-IS 2002 (2002 Rostock, Germany)

2002 1 ed.
Temporal logic in specification
Temporal logic in specification

by Howard Barringer

1989 1 ed.