LEADER 02322nas  2200769-a 450 
001 9910138888203321
005 20230225213018.0
011   $a1433-299X
035   $a(OCoLC)42939863
035   $a(CKB)954933108345
035   $a(CONSER)---00227046-
035   $a(DE-599)ZDB1476364-3
035   $a(MiAaPQ)43690
035   $a(EXLCZ)99954933108345
100   $a19991206a19899999  s--         -
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   $a0934-5043 
517 1 $aFormal aspects of computing :$eapplicable formal methods
531   $aFORMAL ASPECTS OF COMPUTING INTERNATIONAL JOURNAL OF FORMAL METHODS
531   $aFORM ASP COMPUT
531   $aFORM. ASP. COMPUT
531 0 $aForm. asp. comput.
606   $aComputer science$vPeriodicals
606   $aInformatique$vPé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
610 0 $aComputers
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,
906   $aJOURNAL
912   $a9910138888203321
996   $aFormal aspects of computing$92051350
997   $aUNINA