Modern Formal Methods and Applications

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 find an appropriate solution. This book shows the basic concepts of formal methods and highlights modern modifications and enhancements to p...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Gabbar, Hossam A. (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Dordrecht : Springer Netherlands : Imprint: Springer, 2006.
Édition:1st ed. 2006.
Sujets:
Chemometrics.
Computer science.
Machine theory.
Mathematics-Data processing.
Engineering mathematics.
Engineering-Data processing.
Mathematical Applications in Chemistry.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Models of Computation.
Computational Science and Engineering.
Mathematical and Computational Engineering Applications.
Accès en ligne:Texto Completo

Internet

Texto Completo

Items no disponibles

Informations d'exemplaires de

Documents similaires