m

F Nous contacter

0

Documents  Sifakis, J. | enregistrements trouvés : 1

O
     

-A +A

P Q

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 [+]

Z