Explore Books on
softwarespezifikation
1-13 of 13 Books
The construction of formal specifications
By J. G. Turner,T. L. McCluskey
Abstraction and specification in program development
By Barbara Liskov
Software engineering and middleware
By SEM 2002 (2002 Orlando, Fla.)
Interactive systems
By DSV-IS 2002 (2002 Rostock, Germany)
Temporal logic in specification
By Howard Barringer
Program development by specification and transformation
By Berthold Hoffmann
Implementierung und parallele Verarbeitung von Kommunikationssoftware
By Michael Rupprecht
Verification of object-oriented software
By Bernhard Beckert
Formal Methods for Industrial Critical Systems
By Darren Cofer
Fields of logic and computation
By Yuri Gurevich,Andreas Blass,Nachum Dershowitz,Wolfgang Reisig
Formal Techniques for Distributed Systems
By Hutchison, David - undifferentiated
