Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 382p.
ISBN 978-3-540-52148-8
Lecture notes in computer science , 0407
Localisation : Collection 1er étage
informatique # méthodes de calcul # sémantique # méthode de vérification assistée par ordinateur # spécification # protocoles de réseaux d'ordinateurs
00B15 ; 68-06 ; 68Q10 ; 68Q55 ; 68Q60
... Lire [+]
