Formal Methods in Computer Science (Textbooks in Mathematics)

Wang, Jiacun

ISBN 10: 0367225700 ISBN 13: 9780367225704
Edité par Chapman and Hall/CRC, 2019
Neuf(s) 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

Vendeur AbeBooks depuis 25 mars 2015

A propos de cet article

Description :

In. N° de réf. du vendeur ria9780367225704_new

Signaler cet article

Synopsis :

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

À 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.

Détails bibliographiques

Titre : Formal Methods in Computer Science (...
Éditeur : Chapman and Hall/CRC
Date d'édition : 2019
Reliure : Couverture rigide
Etat : New

Meilleurs résultats de recherche sur AbeBooks

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 155,97
EUR 17,70 shipping
Expédition depuis Royaume-Uni vers Etats-Unis

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 : 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 176,54
EUR 2,25 shipping
Expédition nationale : Etats-Unis

Quantité disponible : 1 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 4 sur 5 étoiles Evaluation 4 é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
EUR 48,99 shipping
Expédition depuis Allemagne vers Etats-Unis

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
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 200,84
EUR 17,14 shipping
Expédition depuis Royaume-Uni vers Etats-Unis

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 201,01
EUR 2,25 shipping
Expédition nationale : Etats-Unis

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 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter neuf

EUR 212,07
EUR 7,43 shipping
Expédition depuis Royaume-Uni vers Etats-Unis

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,47
EUR 17,14 shipping
Expédition depuis Royaume-Uni vers Etats-Unis

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 223,53
EUR 3,41 shipping
Expédition nationale : Etats-Unis

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 228,69
Livraison gratuite
Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Jiacun Wang
Edité par CRC Press, 2019
ISBN 10 : 0367225700 ISBN 13 : 9780367225704
Neuf Couverture rigide
impression à la demande

Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni

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

HRD. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L1-9780367225704

Contacter le vendeur

Acheter neuf

EUR 232,58
EUR 5,74 shipping
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

There are 5 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre