Liknande böcker

Tools and Algorithms for the Construction and Analysis of Systems : 24th...
Bok av Marieke Huisman
Applications and Theory of Petri Nets 2003: 24th International Conferenc...
Bok av Eike Best
Formal Methods for Trustworthy Computer Systems (FM89)
Coloured Petri Nets : Modelling and Validation of Concurrent Systems
Bok av Kurt. Jensen
E-Business and Telecommunications : 12th International Joint Conference,...
Bok av Mohammad S Obaidat
Software Engineering and Formal Methods : 10th International Conference,...
Bok av George. Eleftherakis
Formal Techniques in Real-Time and Fault-Tolerant Systems : Second Inter...
Bok av Jan Vytopil
Formal Methods and Software Engineering : 14th International Conference...
Bok av Toshiaki. Aoki

Formal Methods in Systems Engineering

Bok av Peter och Sennett Ryan