Añadir a mi colección
Formato
También te puede gustar
Abstraction and specification in program development
Barbara Liskov
1986
The construction of formal specifications
J. G. Turner
1993
Petri-Netz-Methoden und -Werkzeuge
M. Leszak
1989
Software engineering and middleware
SEM 2002 (2002 Orlando, Fla.)
2003
Program development by specification and transformation
Berthold Hoffmann
Implementierung und parallele Verarbeitung von Kommunikationssoftware
Michael Rupprecht
Verification of object-oriented software
Bernhard Beckert
2007
Formal Methods for Industrial Critical Systems
Darren Cofer
2009
