Formal Methods: State Of The Art And Directions 1670

Paul Boca (u. A.) | Formal Methods: State Of The Art And Directions |

Formal Methods: State of the Art and New Directions, Fachbücher von Jonathan P. Bowen, Paul Boca, Jawed Siddiqi

State-of-the-art And Future Directions Of Smart Learning 3047

Formal System Verification State-of The-art And Future Trends 5528

Internal Brand Management - A State Of The Art Overview Methods And

Human-in-the-loop Simulations Methods And Practice 2832

Dynamical Systems And Methods 2832

Numerical Methods For Pdes State Of The Art Techniques 5143

The Simple Art Of Soc Design Closing The Gap Between Rtl And Esl 2832

Unifying Theories Of Programming And Formal Engineering Methods

Leveraging Applications Of Formal Methods, Verification And Validation

Managing Fragile Regions Method And Application 2832

Formal Methods In Architecture Proceedings Of The 5th International

Interdisciplinary Mathematics Education The State Of The Art And

Computers And Writing State Of The Art 2581