LEADER 02854oas 2201129 a 450 001 9910138888203321 005 20251105213014.0 011 $a1433-299X 035 $a(DE-599)ZDB1476364-3 035 $a(DE-599)1476364-3 035 $a(OCoLC)42939863 035 $a(CONSER) 00227046 035 $a(CKB)954933108345 035 $a(EXLCZ)99954933108345 100 $a19991206a19899999 sy 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aFormal aspects of computing 210 $aLondon $cSpringer Verlag 215 $a1 online resource 300 $aRefereed/Peer-reviewed 311 08$a0934-5043 517 1 $aFormal aspects of computing :$eapplicable formal methods 531 0 $aForm. asp. comput. 606 $aComputer science$vPeriodicals 606 $aInformatique$vPe?riodiques 606 $aComputer science$2fast$3(OCoLC)fst00872451 606 $aComputers$2galestne 606 $aFormale Methode$2gnd 606 $aSystementwicklung$2gnd 606 $aTheoretische Informatik$2gnd 606 $aZeitschrift$2gnd 606 $aOnline-Ressource$2gnd 606 $aFormale Sprache$2gnd 606 $aComputers$2gtt 606 $aProgrammeren (computers)$2gtt 606 $aFormele talen$2gtt 608 $aPeriodicals.$2fast 608 $aPeriodicals.$2lcgft 608 $aZeitschrift$2swd 608 $aOnline-Publikation$2swd 615 0$aComputer science 615 6$aInformatique 615 7$aComputer science. 615 7$aComputers. 615 7$aFormale Methode 615 7$aSystementwicklung 615 7$aTheoretische Informatik 615 7$aZeitschrift. 615 7$aOnline-Ressource 615 7$aFormale Sprache 615 17$aComputers. 615 17$aProgrammeren (computers) 615 17$aFormele talen. 676 $a004.05 712 02$aBritish Computer Society.$bSpecialist Group in Formal Aspects of Computing Science, 801 0$bVPI 801 1$bVPI 801 2$bEYM 801 2$bOCLCQ 801 2$bMYG 801 2$bOCLCQ 801 2$bMUQ 801 2$bOCL 801 2$bMYG 801 2$bOCLCQ 801 2$bUKMGB 801 2$bOCLCQ 801 2$bOCLCF 801 2$bOCLCQ 801 2$bDEFHM 801 2$bOCLCO 801 2$bOCLCA 801 2$bOCLCE 801 2$bUAB 801 2$bDLC 801 2$bAU@ 801 2$bOCLCO 801 2$bVT2 801 2$bNJT 801 2$bUBY 801 2$bCCT 801 2$bKQW 801 2$bFIE 801 2$bS2H 801 2$bOCLCO 801 2$bQGK 801 2$bOCLCQ 801 2$bOCLCA 801 2$bOCLCQ 906 $aJOURNAL 912 $a9910138888203321 996 $aFormal aspects of computing$92051350 997 $aUNINA