épuisé

Efficient SMT Solving for Bit-Vectors and the Extensional Theory of Arrays

Anglais · Livre Relié

Description

Détails du produit

Auteurs Robert Brummayer
Edition Trauner Verlag
 
Langues Anglais
Format d'édition Livre Relié
Sortie 01.01.2016
 
Pages 142
Dimensions 149 mm x 205 mm x 10 mm
Poids 202 g
Thème Schriftenreihe der Johannes-Kepler-Universität Linz
Catégorie Livres de conseils > Droit, profession, finances

Commentaires des clients

Aucune analyse n'a été rédigée sur cet article pour le moment. Sois le premier à donner ton avis et aide les autres utilisateurs à prendre leur décision d'achat.

Écris un commentaire

Super ou nul ? Donne ton propre avis.

Pour les messages à CeDe.ch, veuillez utiliser le formulaire de contact.

Il faut impérativement remplir les champs de saisie marqués d'une *.

En soumettant ce formulaire, tu acceptes notre déclaration de protection des données.