02607nam0 22005413i 450 AQ1000145620251003044040.00387558136New York3540558136Berlin20081006d1993 ||||0itac50 baengdez01i xxxe z01nLogic and algebra of specificationedited by Friedrich L. Bauer, Wilfried Brauer, Helmut SchwichtenbergBerlin [etc.]Springerc1993442 p.25 cmNATO ASI series. Series F, Computer and systems sciences94Contiene gli atti del NATO Advanced Study Institute on Logic and Algebra of Specification, Marktoberdorf, 23 luglio - 4 agosto 1991001VEA00246312001 NATO ASI series. Series F, Computer and systems sciences94LOGICA MATEMATICACONGRESSI1991FIRMILC048479IInformaticaMetodi matematiciFIRNAPC231555ICONGRESSIMARKTOBERDORF1991FIRMILC048480I004.01ELABORAZIONE DEI DATI SCIENZA DEGLI ELABORATORI INFORMATICA. Filosofia e teoria14004.015113Elaborazione dei dati, Scienza degli elaboratori, Informatica. Principi matematici. Logica matematica (Logica simbolica)22ConvegniCongressi e convegniLogica simbolicaLogica matematica <Logica simbolica>Scienza degli elaboratoriConvegniCongressi e convegniCongressiConvegniCongressiCongressi e convegniLogica matematicaLogica simbolicaLogica matematicaLogica matematica <Logica simbolica>InformaticaScienza degli elaboratoriCongressiConvegniCongressiCongressi e convegniBauer, Friedrich LudwigAQ1V000814Brauer, WilfriedAQ1V000815Schwichtenberg, Helmut <1942- >AQ1V000816NATO advanced study institute on logic and algebra of specification <1991 ; Marktoberdorf>MILV108884Bauer, F. L.MILV154364Bauer, Friedrich LudwigITIT-00000020081006IT-BN0095 NAP 01SALA DING $AQ10001456Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 004.01 LOGAAO 0102 0000012535 VMA A4 1 v.Y 1994070719940707 01Logic and algebra of specification1571123UNISANNIO