Amvik eBook Solutions

Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a fo

This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.

Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be formulated in a way that can help to

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It ha

This is an excellent introduction to formal methods which will bring anyone who needs to know about this important topic up to speed. It is comprehensive, givin