Articles liés à Formal Methods in Computer Science

Formal Methods in Computer Science - Couverture rigide

Wang, Jiacun

 
9780367225704: Formal Methods in Computer Science
Couverture rigide
ISBN 10 : 0367225700 ISBN 13 : 9780367225704
Editeur : Chapman & Hall/CRC, 2019

Synopsis

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

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.

  • ÉditeurChapman & Hall/CRC
  • Date d'édition2019
  • ISBN 10 0367225700
  • ISBN 13 9780367225704
  • ReliureRelié
  • Langueanglais
  • Nombre de pages294
  • Coordonnées du fabricantnon disponible

Acheter D'occasion

état :  Comme neuf
Unread book in perfect condition...
Afficher cet article
9780367225704: Formal Methods in Computer Science
EUR 209,10

Autre devise

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

Destinations, frais et délais

Acheter neuf

Afficher cet article
9780367225704: Formal Methods in Computer Science
EUR 162,73

Autre devise

EUR 11,31 expédition depuis Royaume-Uni vers France

Destinations, frais et délais

Autres éditions populaires du même titre

9781498775328: Formal Methods in Computer Science

Edition présentée

ISBN 10 :  1498775322 ISBN 13 :  9781498775328
Editeur : Routledge, 2019
Couverture souple

Résultats de recherche pour Formal Methods in Computer Science

Image d'archives

Jiacun Wang, William Tepfenhart
ISBN 10 : 0367225700 ISBN 13 : 9780367225704
Neuf Couverture rigide

Vendeur : Chiron Media, Wallingford, Royaume-Uni

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

Hardcover. Etat : New. N° de réf. du vendeur 6666-TNFPD-9780367225704

Contacter le vendeur

Acheter neuf

EUR 162,73
Autre devise
Frais de port : EUR 11,31
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 5 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Jiacun Wang
Edité par CRC Press, 2019
ISBN 10 : 0367225700 ISBN 13 : 9780367225704
Neuf Couverture rigide
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

Gebunden. 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 594567126

Contacter le vendeur

Acheter neuf

EUR 184,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 fournie par le vendeur

Wang, Jiacun; Tepfenhart, William
Edité par Chapman and Hall/CRC, 2019
ISBN 10 : 0367225700 ISBN 13 : 9780367225704
Neuf Couverture rigide

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 : New. N° de réf. du vendeur 35117759-n

Contacter le vendeur

Acheter neuf

EUR 184,21
Autre devise
Frais de port : EUR 17,63
De Etats-Unis 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 : 0367225700 ISBN 13 : 9780367225704
Ancien ou d'occasion Couverture rigide

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 35117759

Contacter le vendeur

Acheter D'occasion

EUR 209,10
Autre devise
Frais de port : EUR 17,63
De Etats-Unis 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 : 0367225700 ISBN 13 : 9780367225704
Ancien ou d'occasion Couverture rigide

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 35117759

Contacter le vendeur

Acheter D'occasion

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

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Wang, Jiacun
Edité par Chapman and Hall/CRC, 2019
ISBN 10 : 0367225700 ISBN 13 : 9780367225704
Neuf Couverture rigide

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 380154768

Contacter le vendeur

Acheter neuf

EUR 219,05
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 : 0367225700 ISBN 13 : 9780367225704
Neuf Couverture rigide

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 35117759-n

Contacter le vendeur

Acheter neuf

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

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Wang, Jiacun
Edité par Chapman and Hall/CRC, 2019
ISBN 10 : 0367225700 ISBN 13 : 9780367225704
Neuf Couverture rigide

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 26383716431

Contacter le vendeur

Acheter neuf

EUR 232,30
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
Edité par Chapman and Hall/CRC, 2019
ISBN 10 : 0367225700 ISBN 13 : 9780367225704
Neuf Couverture rigide

Vendeur : California Books, Miami, FL, Etats-Unis

É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 I-9780367225704

Contacter le vendeur

Acheter neuf

EUR 236,22
Autre devise
Frais de port : EUR 7,06
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 : 0367225700 ISBN 13 : 9780367225704
Neuf Couverture rigide

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

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

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

Contacter le vendeur

Acheter neuf

EUR 241,96
Autre devise
Frais de port : EUR 4,76
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

There are 7 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre