00982nam0 2200253 i 450 SUN007305220151120101600.49815-7146-035-720091209d1997 |0engc50 baengUS|||| |||||Current developments in mathematics, 1996editors Raoul Bott ... [et al.]BostonInternational1994III, 212 p.24 cm.00B15Collections of articles of miscellaneous specific interest [MSC 2020]MFSUNC023985BostonSUNL000051Bott, Raoul1923-2005SUNV041969InternationalSUNV005720650ITSOL20201012RICASUN0073052UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 00-XX 0516 08 8688 I 20091209 Current developments in mathematics, 19961415289UNICAMPANIA02248oas 2200829 a 450 991014242270332120251106213014.01572-8102(DE-599)ZDB1479899-2(DE-599)1479899-2(OCoLC)37915762(CONSER) 2008233905(CKB)954926987115(EXLCZ)9995492698711519971110a19929999 sy aengurmnu||||||||txtrdacontentcrdamediacrrdacarrierFormal methods in system designNetherlands Kluwer Academic Publishers[Dordrecht] Springer NetherlandsRefereed/Peer-reviewed0925-9856 System designPeriodicalsIntegrated circuitsVerificationPeriodicalsConception de systèmesPériodiquesCircuits intégrésVérificationPériodiquesIntegrated circuitsVerificationfast(OCoLC)fst00975600System designfast(OCoLC)fst01141401Disseny de sistemesthubPeriodicals.fastRevistes electròniques.thubSystem designIntegrated circuitsVerificationConception de systèmesCircuits intégrésVérificationIntegrated circuitsVerification.System design.Disseny de sistemes.004.21Kluwer Academic PublishersSpringer (Firm)F#AF#AOCLOCLCQMUQOCLCQOCLGUAU9SMYGOCLCQOCLCFOCLCQAU@UKMGBVT2NJTDLCOCLCOOCLCQUABSFBOCLCLOCLCQJOURNAL9910142422703321Formal methods in system design2245274UNINA