Notice de titre conventionnel

  • Notice
000 nx f22 45
001 FRBNF169630867
003 http://catalogue.bnf.fr/ark:/12148/cb169630862
100 .. $a 20150504afrey50 ba0
106 .. $a 210
152 .. $c 2
154 .. $a |a
230 .. $7 ba0yba0y $8 fre $9 0 $a Spin $n logiciel
300 1. $a Forme de l'oeuvre : Logiciel
430 .. $7 ba0yba0y $8 fre $9 $a Spin model checker $n logiciel
550 .. $5 g $3 13576261 $7 ba0yba0y $8 fre $9 $a Logiciels $x Vérification
686 .. $a 621 $2 Note de regroupement par domaine
801 .. $a FR $b FR-751131015 $c 20150504
810 .. $a Verifying multi-threaded software with Spin - http://spinroot.com (2015-05-04) $a Principles of the Spin model checker / M. Ben-Ari, 2008 $a The spin model checker : primer and reference manual / G. J. Holzmann, 2004
856 .. $u http://spinroot.com $e 2015-05-04