LEADER 01182nam0 2200301 i 450 
001 VAN00109024
005 20240806100738.671
010   $a978-33-19-08698-9
017 70$2N$a9783319086996
100   $a20170504d2015       |0itac50      ba
101   $aeng
102   $aCH
105   $a||||    |||||
200 1 $aFormal Specification Level$eConcepts, Methods, and Algorithms$fMathias Soeken, Rolf Drechsler
210   $aCham$cSpringer$d2015
215   $aviii, 138 p.$d24 cm
620   $aCH$dCham$3VANL001889
700  1$aSoeken$bMathias$3VANV084297$0720581
701  1$aDrechsler$bRolf$3VANV084298$0720580
712   $aSpringer <editore>$3VANV108073$4650
801   $aIT$bSOL$c20240906$gRICA
856 4 $uhttp://link.springer.com/book/10.1007%2F978-3-319-08699-6$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth
899   $aBIBLIOTECA CENTRO DI SERVIZIO SBA$2VAN15
912   $fN
912   $aVAN00109024
950   $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS      SBA EBOOK 1076                      $e15EB 1076              20170504            
996   $aFormal Specification Level$91412204
997   $aUNICAMPANIA