Concise Guide to Formal Methods (Paperback)

Langue : anglais

Edité par Springer International Publishing AG, Cham, 2017

3319640208 / 9783319640204

Série : Livre 57 sur 99 - Undergraduate Topics in Computer Science

  • Éd. originale
  • Livre broché
  • Neuf
Afficher toutes les informations

Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-UnisGrand Eagle Retail

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 12 octobre 2005

Afficher les articles de ce vendeur
Livre broché

Etat: Neuf

EUR 102,04

 Frais de port gratuits 
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier
Retours gratuits sous 30 jours

Item description from seller

Paperback. This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of computing.Topics and features: introduces the key concepts in software engineering, software reliability and dependability, formal methods, and discrete mathematics; presents a short history of logic, from Aristotles syllogistic logic and the logic of the Stoics, through Booles symbolic logic, to Freges work on predicate logic; covers propositional and predicate logic, as well as more advanced topics such as fuzzy logic, temporal logic, intuitionistic logic, undefined values, and the applications of logic to AI; examines the Z specification language, the Vienna Development Method (VDM) and Irish School of VDM, and the unified modelling language (UML); discusses Dijkstras calculus of weakest preconditions, Hoares axiomatic semantics of programming languages, and the classical approachof Parnas and his tabular expressions; provides coverage of automata theory, probability and statistics, model checking, and the nature of proof and theorem proving; reviews a selection of tools available to support the formal methodist, and considers the transfer of formal methods to industry; includes review questions and highlights key topics in every chapter, and supplies a helpful glossary at the end of the book.This stimulating guide provides a broad and accessible overview of formal methods for students of computer science and mathematics curious as to how formal methods are applied to the field of computing. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

N° de réf. du vendeur 9783319640204

Titre
Concise Guide to Formal Methods (Paperback)
Auteur
Gerard O'Regan
Éditeur
Springer International Publishing AG, Cham
Année de publication
2017
État de l'article
new
Reliure
Paperback
Langue
anglais
ISBN à 10 chiffres
3319640208
ISBN à 13 chiffres
9783319640204
Édition
Edition originale
Série
Livre 57 sur 99: Undergraduate Topics in Computer Science

Grand Eagle Retail

Bensenville, IL, Etats-Unis

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 12 octobre 2005

Frais d'expédition à l'intérieur de ce pays : Etats-Unis

Article6 à 14 jours ouvrés6 à 16 jours ouvrés
Premier articleEUR 0,00EUR 0,00
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Profil professionnel du vendeur

APOLLO ONLINE CORP.

605 Geddes Street
Wilmington, DE Etats-Unis 19805