Ebooks ipod touch téléchargement Decision Procedures : An Algorithmic Point of View by Daniel Kroening PDF 3662504960 - Currently, there was no description for Decision Procedures : An Algorithmic Point of View. Will be updated soon.
Détails Decision Procedures : An Algorithmic Point of View
| Le Titre Du Livre | Decision Procedures : An Algorithmic Point of View |
| EAN | 9783662504963 |
| Auteur | Daniel Kroening |
| ISBN-10 | 3662504960 |
| Langue | Anglais |
| Nombre de pages | 356 pages |
| Editeur | Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Catégories | Informatique et Internet |
| Évaluation du client | 4.1 étoiles sur 5 de 465 Commentaires client |
| La taille du fichier | 18.88 MB |









No comments:
Post a Comment