02014nam0 22004093i 450 AQ1000145620240906062516.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 matematicaCongressi1991FIRMILC048479ILogica simbolicaCongressi1991FIRNAPC232490IInformaticaMetodi matematiciFIRNAPC231555I004.01ELABORAZIONE DEI DATI SCIENZA DEGLI ELABORATORI INFORMATICA. Filosofia e teoria14004.015113Elaborazione dei dati, Scienza degli elaboratori, Informatica. Principi matematici. Logica matematica (Logica simbolica)22Bauer, Friedrich LudwigAQ1V000814Brauer, WilfriedAQ1V000815Schwichtenberg, Helmut <1942- >AQ1V000816NATO advanced study institute on logic and algebra of specification <1991MILV108884Bauer, F. L.MILV154364Bauer, Friedrich LudwigITIT-NA007920081006IT-BN0095 AQ10001456Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 004.01 LOGAAO 0102 0000012535 B A4 1 v.3 1994070719940707 01Logic and algebra of specification1571123UNISANNIO