Notice bibliographique
- Notice
000 cam 22 3 450
001 FRBNF444872780000007
010 .. $a 952-12-1785-5 $b br.
100 .. $a 20160113d2006 m y0frey50 ba
101 0. $a eng
102 .. $a FI
105 .. $a ||||z 00|||
106 .. $a r
181 .0 $6 01 $a i $b xxxe
181 .. $6 02 $c txt $2 rdacontent
182 .0 $6 01 $a n
182 .. $6 02 $c n $2 rdamedia
200 1. $a Program variables $b Texte imprimé $e the core of mechanical reasoning about imperative programs $f Viorel Preoteasa
210 .. $a Åbo $c Åbo Akademi University $d 2006
215 .. $a 1 vol. (VI-124 p.) $c ill. $d 25 cm
225 |. $a TUCS dissertations $x 1239-1883 $v 79
300 .. $a Bibliogr. p. 117-124
328 .0 $b Ph. D $e Åbo,Akademi University $d 2006
410 .0 $0 40142433 $t TUCS dissertations $x 1239-1883 $v 79
676 .. $a 005.131 $v 23
801 .0 $a FR $b FR-751131015 $c 20160113 $g AFNOR $h FRBNF444872780000007 $2 intermrc
930 .. $5 FR-751131009:44487278001001 $a 2016-12776 $b 759999999 $c Tolbiac - Rez de Jardin - Sciences et technique - Magasin $d O
