Picture 1 of 1
Stock photo
Picture 1 of 1
Stock photo
Understanding Formal Methods by Jean-Francois Monin (2002, Trade Paperback)
OnTimeBooks (66755)
98.9% positive feedback
Price:
US $97.59
ApproximatelyRM 408.98
+ $20.52 shipping
Returns:
30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Condition:
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherSpringer London, The Limited
ISBN-101852332476
ISBN-139781852332471
eBay Product ID (ePID)1836154
Product Key Features
Number of PagesXvi, 276 Pages
Publication NameUnderstanding Formal Methods
LanguageEnglish
SubjectProgramming / General, Software Development & Engineering / General, Computer Science, Logic
Publication Year2002
TypeTextbook
AuthorJean-Francois Monin
Subject AreaMathematics, Computers
FormatTrade Paperback
Dimensions
Item Weight32.5 Oz
Item Length9.3 in
Item Width6.1 in
Additional Product Features
Intended AudienceScholarly & Professional
LCCN2002-030646
Dewey Edition21
Number of Volumes1 vol.
IllustratedYes
Dewey Decimal004/.01/51
SynopsisThis book is intended to help the student or the engineer who wants an intro duction to formal techniques, as well as the practitioner who wishes to broaden her or his knowledge of this subject. It mainly aims at providing a synthetic view of the logical foundations of such techniques, with an emphasis on in tuitive ideas, so that it can also be considered as a practical complement to classical introductory manuals to logic, which generally focus more detail on specific subjects (e.g. first-order logic), and to books dedicated to particular formal methods. This book is a translation of the French edition Introduction aux methodes formelles, published by Hermes in 2000. The contents have been updated and somewhat clarified, in particular the discussion of typing which is now at the beginning of Chapter 10. Many colleagues, researchers, and friends, have had an influence on the form and the content of this text, either through direct comments or enthralling discussions. I would like to cite: Jean-Raymond Abrial, Andre Arnold, Yves Bertot, Michel Cartier, Paul Caspi, Christine Choppy, Thierry Coquand, Vin cent Danos, Pierre Desforges, Gilles Dowek, Jean-Christophe Filliatre, Lau rent Fribourg, Roland Groz, Nicolas Halbwachs, Claude Jard, Gilles Kahn, Claude and Helene Kirchner, Emmanuel Ledinot, Pierre Lescanne, Fernando Meijia, Max Michel, Kathleen Milsted, Chetan Murthy, Christine Paulin, Si mon Pickin, Laurent Regnier, John Rushby, Natarajan Shankar, Joseph Sifakis, Jean-Bernard Stefani and Daniel Vincent., 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, giving the reader all the information needed to explore the field of formal methods in more detail. It offers: a guide to the mathematics required; comprehensive but easy-to-understand introductions to various methods; a run-down of how formal methods can help to develop high-quality systems that come in on time, within budget, and according to requirements.
LC Classification NumberQA75.5-76.95
Be the first to write a review
