LEADER 01104nam a2200277 i 4500
001 991000426379707536
005 20020503180521.0
008 000131s1997    it                  ita  
020   $a8871878132$c39000
035   $ab10075872-39ule_inst
035   $aLE02515819$9ExL
040   $aFac. Economia$bita
082 0 $a334.0685
100 1 $aCarletti, Mauro$0263739
245 13$aLa certificazione di qualità nell'impresa cooperativa :$bmodelli gestionali e strumenti operativi /$cMauro Carletti ; presentazione di Flavio Sangalli
260   $aMilano :$bIl sole 24 ore libri,$c1997
300   $a198 p. ;$c22 cm
490   $aGuide per l'azienda (Le)
650  4$aCooperative$xControllo di qualità
700 1 $aSangalli, Flavio
907   $a.b10075872$b13-06-18$c27-06-02
912   $a991000426379707536
945   $aLE025 ECO 334 CAR01.01$g1$i2025000066939$lle025$nCatalogato 2018$o-$pE0.00$q-$rl$s-  $t0$u7$v1$w7$x0$y.i10085920$z27-06-02
996   $aCertificazione di qualità nell'impresa cooperativa$9195226
997   $aUNISALENTO
998   $ale025$b01-01-00$cm$da  $e-$fita$git $h3$i1

LEADER 03231nam  22006735  450 
001 9910298563803321
005 20251226193529.0
010   $a3-319-07512-8
024 7 $a10.1007/978-3-319-07512-9
035   $a(CKB)3710000000119167
035   $a(DE-He213)978-3-319-07512-9
035   $a(SSID)ssj0001237493
035   $a(PQKBManifestationID)11818041
035   $a(PQKBTitleCode)TC0001237493
035   $a(PQKBWorkID)11258326
035   $a(PQKB)10776850
035   $a(MiAaPQ)EBC3092072
035   $a(PPN)178784869
035   $a(EXLCZ)993710000000119167
100   $a20140512d2014      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aABZ 2014: The Landing Gear Case Study $eCase Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings /$fedited by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (XII, 161 p. 47 illus.)
225 1 $aCommunications in Computer and Information Science,$x1865-0937 ;$v433
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-319-07511-X 
320   $aIncludes bibliographical references and index.
327   $aFormal techniques: B, ASM, Fiacre -- Kinds of verification -- Proof -- Model checking -- Test generation -- Run-time monitoring -- Simulation.
330   $aThis volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation.
410  0$aCommunications in Computer and Information Science,$x1865-0937 ;$v433
606   $aComputer science
606   $aMachine theory
606   $aComputer simulation
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
606   $aTheory of Computation
606   $aComputer Modelling
615  0$aComputer science.
615  0$aMachine theory.
615  0$aComputer simulation.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
615 24$aTheory of Computation.
615 24$aComputer Modelling.
676   $a005.1015113
702   $aBoniol$b Frederic$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aWiels$b Virginie$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aAi?t-Ameur$b Yamine$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSchewe$b Klaus-Dieter$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a9910298563803321
996   $aABZ 2014: The Landing Gear Case Study$92215720
997   $aUNINA