LEADER 02248oas  2200829 a 450 
001 9910142422703321
005 20251106213014.0
011   $a1572-8102
035   $a(DE-599)ZDB1479899-2
035   $a(DE-599)1479899-2
035   $a(OCoLC)37915762
035   $a(CONSER)  2008233905
035   $a(CKB)954926987115
035   $a(EXLCZ)99954926987115
100   $a19971110a19929999  sy         a
101 0 $aeng
135   $aurmnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormal methods in system design
210   $aNetherlands $cKluwer Academic Publishers
210 3 $a[Dordrecht] $cSpringer Netherlands
300   $aRefereed/Peer-reviewed
311 08$a0925-9856 
606   $aSystem design$vPeriodicals
606   $aIntegrated circuits$xVerification$vPeriodicals
606   $aConception de syste?mes$vPe?riodiques
606   $aCircuits inte?gre?s$xVe?rification$vPe?riodiques
606   $aIntegrated circuits$xVerification$2fast$3(OCoLC)fst00975600
606   $aSystem design$2fast$3(OCoLC)fst01141401
606   $aDisseny de sistemes$2thub
608   $aPeriodicals.$2fast
608   $aRevistes electròniques.$2thub
615  0$aSystem design
615  0$aIntegrated circuits$xVerification
615  6$aConception de syste?mes
615  6$aCircuits inte?gre?s$xVe?rification
615  7$aIntegrated circuits$xVerification.
615  7$aSystem design.
615  7$aDisseny de sistemes.
676   $a004.21
712 02$aKluwer Academic Publishers
712 02$aSpringer (Firm)
801  0$bF#A
801  1$bF#A
801  2$bOCL
801  2$bOCLCQ
801  2$bMUQ
801  2$bOCLCQ
801  2$bOCL
801  2$bGUA
801  2$bU9S
801  2$bMYG
801  2$bOCLCQ
801  2$bOCLCF
801  2$bOCLCQ
801  2$bAU@
801  2$bUKMGB
801  2$bVT2
801  2$bNJT
801  2$bDLC
801  2$bOCLCO
801  2$bOCLCQ
801  2$bUAB
801  2$bSFB
801  2$bOCLCL
801  2$bOCLCQ
906   $aJOURNAL
912   $a9910142422703321
996   $aFormal methods in system design$92245274
997   $aUNINA