Articles liés à Formal Methods in Computer Science

Formal Methods in Computer Science - Couverture souple

 
9781498775328: Formal Methods in Computer Science

Synopsis

Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It covers propositional logic, predicate logic, temporal logic, and model checking. The third part presents Petri nets, the most popular formal language in system behavior modeling. In additional to regular Petri nets, this part also examines timed Petri nets and high-level Petri nets.

The textbook is ideal for undergraduate or graduate courses in computer engineering, software engineering, computer science, and information technology programs. Parts of the book are useful reading material in undergraduate computer course and as a reference guide for students researching the area of formal system specification and validation.

Features

* Introduces a comprehensive, yet manageable set of formal techniques for computer science students

* Stresses real-world application value of each formal technique

* Offers a good set of exercises which help students better understand the presented techniques

* Also offers a prepared source code for downloading and non-commercial use

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

Jiacun Wang received a PhD in computer engineering from Nanjing University of Science and Technology, China. He is a professor of Software Engineering at Monmouth University. He was previously with Nortel Networks and was a research associate at Florida International University. Dr. Wang has been teaching formal methods for both undergraduates and graduates at Monmouth University since 2004.

William Tepfenhart was a professor of Computer Science and Software Engineering at Monmouth University. Trained as a physicist, his areas of expertise included object-oriented software development, artificial intelligence, and software engineering. His knowledge of modeling physical systems formed the basis for major contributions in the area of software development.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

  • ÉditeurRoutledge
  • Date d'édition2019
  • ISBN 10 1498775322
  • ISBN 13 9781498775328
  • ReliureBroché
  • Langueanglais
  • Nombre de pages312
  • Coordonnées du fabricantnon disponible

Acheter D'occasion

état :  Comme neuf
Unread book in perfect condition...
Afficher cet article
EUR 96,66

Autre devise

EUR 17,63 expédition depuis Etats-Unis vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
EUR 88,46

Autre devise

EUR 9,70 expédition depuis Allemagne vers France

Destinations, frais et délais

Autres éditions populaires du même titre

9780367225704: Formal Methods in Computer Science

Edition présentée

ISBN 10 :  0367225700 ISBN 13 :  9780367225704
Editeur : Chapman & Hall/CRC, 2019
Couverture rigide

Résultats de recherche pour Formal Methods in Computer Science

Image fournie par le vendeur

Jiacun Wang
Edité par CRC Press, 2019
ISBN 10 : 1498775322 ISBN 13 : 9781498775328
Neuf Couverture souple
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Jiacun Wang received a PhD in computer engineering from Nanjing University of Science and Technology, China. He is a professor of Software Engineering at Monmouth University. He was previously with Nortel Networks and was a research asso. N° de réf. du vendeur 302604855

Contacter le vendeur

Acheter neuf

EUR 88,46
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Jiacun Wang
Edité par Taylor & Francis Inc, 2019
ISBN 10 : 1498775322 ISBN 13 : 9781498775328
Neuf Paperback / softback

Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback / softback. Etat : New. New copy - Usually dispatched within 4 working days. 480. N° de réf. du vendeur B9781498775328

Contacter le vendeur

Acheter neuf

EUR 105,32
Autre devise
Frais de port : EUR 7,01
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Jiacun Wang
Edité par Taylor & Francis Inc, 2019
ISBN 10 : 1498775322 ISBN 13 : 9781498775328
Neuf Paperback / softback
impression à la demande

Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. N° de réf. du vendeur C9781498775328

Contacter le vendeur

Acheter neuf

EUR 105,34
Autre devise
Frais de port : EUR 7,15
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 5 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Wang, Jiacun; Tepfenhart, William
Edité par Chapman and Hall/CRC, 2019
ISBN 10 : 1498775322 ISBN 13 : 9781498775328
Ancien ou d'occasion Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 35107077

Contacter le vendeur

Acheter D'occasion

EUR 96,66
Autre devise
Frais de port : EUR 17,63
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Wang, Jiacun
Edité par Chapman and Hall/CRC, 2019
ISBN 10 : 1498775322 ISBN 13 : 9781498775328
Neuf Couverture souple

Vendeur : Majestic Books, Hounslow, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 370695591

Contacter le vendeur

Acheter neuf

EUR 104,46
Autre devise
Frais de port : EUR 10,55
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 3 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Wang, Jiacun; Tepfenhart, William
Edité par Chapman and Hall/CRC, 2019
ISBN 10 : 1498775322 ISBN 13 : 9781498775328
Ancien ou d'occasion Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 35107077

Contacter le vendeur

Acheter D'occasion

EUR 98,87
Autre devise
Frais de port : EUR 17,88
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Wang, Jiacun
Edité par Chapman and Hall/CRC, 2019
ISBN 10 : 1498775322 ISBN 13 : 9781498775328
Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 26376431224

Contacter le vendeur

Acheter neuf

EUR 113,88
Autre devise
Frais de port : EUR 7,94
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 3 disponible(s)

Ajouter au panier

Image d'archives

Wang, Jiacun/ Tepfenhart, William
Edité par Chapman & Hall, 2019
ISBN 10 : 1498775322 ISBN 13 : 9781498775328
Neuf Paperback
impression à la demande

Vendeur : Revaluation Books, Exeter, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : Brand New. reprint edition. 294 pages. 9.25x6.25x0.75 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __1498775322

Contacter le vendeur

Acheter neuf

EUR 110,53
Autre devise
Frais de port : EUR 11,92
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Wang, Jiacun; Tepfenhart, William
Edité par Chapman and Hall/CRC, 2019
ISBN 10 : 1498775322 ISBN 13 : 9781498775328
Neuf Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 35107077-n

Contacter le vendeur

Acheter neuf

EUR 105,31
Autre devise
Frais de port : EUR 17,88
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Wang, Jiacun
Edité par Chapman and Hall/CRC, 2019
ISBN 10 : 1498775322 ISBN 13 : 9781498775328
Neuf Couverture souple

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 18376431218

Contacter le vendeur

Acheter neuf

EUR 118,75
Autre devise
Frais de port : EUR 7,95
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 3 disponible(s)

Ajouter au panier

There are 3 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre