WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/195530810

Understanding formal methods

Open All Close All

type

about

http://schema.org/about

alternateName

http://schema.org/alternateName

  • "Introduction aux méthodes formelles"

author

contributor

creator

description

http://schema.org/description

  • "This volume provides a comprehensive introduction to the field of formal methods for students and practitioners. It strikes a careful balance between rigorous exposition of the underlying mathematics and concrete examples of implementations using real-life tools, thus making it easy to grasp the underlying concepts and theories. It does not aim to provide guidelines for using a particular method, or comparisons of different approaches, but rather a conceptual framework that the reader can use to master any given method. It therefore makes an invaluable practical companion to introductory texts on logic and to books dedicated to a particular formal method. Understanding Formal Methods will be of interest to advanced students and engineers who need to learn the basics of this topic, and also professionals who need to broaden their knowledge or bring themselves up-to-date with the latest techniques."

editor

genre

http://schema.org/genre

  • "Electronic books"

name

http://schema.org/name

  • "Understanding formal methods : written and transl. by Jean-François Monin"
  • "Understanding Formal Methods"
  • "Understanding formal methods"@en
  • "Understanding formal methods"
  • "Introduction aux méthodes formelles"

workExample