Liknande böcker

Formal Techniques in Real-Time and Fault-Tolerant Systems : Second Inter...
Bok av Jan Vytopil
Applications and Theory of Petri Nets 2003: 24th International Conferenc...
Bok av Eike Best
Formal Methods in Systems Engineering
Bok av Peter; Sennett Ryan
Mathematics of program construction - 7th international conference, mpc 200
Bok av Dexter Kozen
Algebraic Methodology and Software Technology : 5th International Confer...
Bok av Martin Wirsing
E-Business and Telecommunications : 12th International Joint Conference,...
Bok av Mohammad S Obaidat
Coloured Petri Nets : Modelling and Validation of Concurrent Systems
Bok av Kurt. Jensen
Software Engineering and Formal Methods : 10th International Conference,...
Bok av George. Eleftherakis

Formal Methods for Trustworthy Computer Systems (FM89)