Formal Methods in Computer Science - Wang, Jiacun
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre164,61 €
Produit Neuf
Ou 41,15 € /mois
- Livraison à 0,01 €
- Livré entre le 20 juillet et le 3 août
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.
-
Dji Osmo 4 : 4k/240fps3activetrack
Neuf dès 85,99 €
-
Georgia O'keeffe
Occasion dès 105,99 €
-
Isles Of Gold: Antique Maps Of Japan
Occasion dès 174,99 €
-
Winogrand Figments From The Real World
Occasion dès 170,99 €
-
A First Course In Logic
Neuf dès 129,46 €
Occasion dès 192,99 €
-
Girls, Some Boys, And Other Cookies
Occasion dès 127,99 €
-
Idiomes Et Proverbes - N° 6 - Idiomes Et Proverbes - Anglais-Français, Français-Anglais
Occasion dès 89,90 €
-
Car Racing 1965
2 avis
Neuf dès 109,00 €
-
The Lord Of The Rings
Neuf dès 126,00 €
-
Nuancier Dcs Cmyk Pro
Occasion dès 230,00 €
-
L'ecole De Paris, 1945-1965: Dictionnaire Des Peintres (Dictionnaires)
2 avis
Occasion dès 147,92 €
-
The New Munsell Student Color Set
Neuf dès 125,62 €
-
Origami Design Secrets
Neuf dès 166,41 €
-
Mykonos Muse
Neuf dès 105,00 €
Occasion dès 94,54 €
-
Paolo Roversi Livre Nudi
2 avis
Occasion dès 175,00 €
-
Car Racing 1970
3 avis
Neuf dès 129,00 €
-
Financial & Managerial Accounting Ise
Neuf dès 104,72 €
-
Oxford Resources For Ib Dp Chemistry: Course Book
Neuf dès 102,33 €
-
Jonathan Lasker, Paintings 1977-2001
Neuf dès 160,00 €
Occasion dès 164,00 €
-
Imagine Too!
1 avis
Neuf dès 191,68 €
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