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

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