Formal Methods in Computer Science - Wang, Jiacun
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre137,27 €
Produit Neuf
Ou 34,32 € /mois
- Livraison à 0,01 €
- Livré entre le 11 et le 18 mai
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781498775328_dbm
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Formal Methods In Computer Science Format Broché - Livre Littérature Générale
0 avis sur Formal Methods In Computer Science Format Broché - Livre Littérature Générale
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Molyneux
Occasion dès 78,95 €
-
Le Corbusier, 1910-65
Occasion dès 154,99 €
-
In The American West 40th Anniversary Edition
1 avis
Neuf dès 86,63 €
Occasion dès 191,10 €
-
How Children Develop
Neuf dès 113,12 €
-
Le Mans
Neuf dès 69,82 €
Occasion dès 129,99 €
-
The Philip K. Dick Collection
Neuf dès 109,00 €
-
Ar Vag 1 - T1 - Voiles Au Travail En Bretagne Atlantique
Occasion dès 150,00 €
-
Moonwalk By Michael Jackson
2 avis
Occasion dès 70,46 €
-
Klimt, Schiele, Moser, Kokoschka
Occasion dès 71,63 €
-
Jouef : Les Petits Trains De Notre Enfance
1 avis
Occasion dès 115,00 €
-
Erazer Beast 16 X1 Ultimate (Md 62732) Intel Core Ultra 9 275hx Ordinateur Portable 16" Quad Hd+ 32 Go Ddr5-Sdram 2 To Ssd Nvidia Geforce Rtx 5090 Wi-Fi 6e (802.11ax) Windows 11 Home Noir
Neuf dès 163,99 €
-
Encyclopedie Musicale Michael Jackson
6 avis
Occasion dès 115,00 €
-
Anatomy Of The Horse
Neuf dès 109,61 €
Occasion dès 71,15 €
-
Luca Della Robbia
Neuf dès 72,99 €
-
Animal Eyes
Neuf dès 101,75 €
Occasion dès 114,87 €
-
Japanese Studio Crafts: Tradition And The Avant-Garde
Occasion dès 171,99 €
-
James Ensor
Occasion dès 100,66 €
-
El Greco
Occasion dès 68,90 €
-
Conversations With Wilder
Occasion dès 105,00 €
-
New Trends In Algebraic Geometry
Neuf dès 109,20 €
Produits similaires
Présentation Formal Methods In Computer Science Format Broché
- Livre Littérature Générale
Résumé :
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. ...
Biographie: 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.
Sommaire: Set Theory and Functions Basic Set Definitions Set Theory and Functions Finite State Machine Regular Expressions and Languages Propositional Logic Predicate Logic Temporal Logic Formal Verification by Model Checking Petri Nets Timed Petri Nets Colored Petri Nets
Détails de conformité du produit
Personne responsable dans l'UE