LEADER 01732nam  2200541Ia 450 
001 9910455940803321
005 20200520144314.0
010   $a0-87462-841-5
035   $a(CKB)2440000000014291
035   $a(EBL)476989
035   $a(SSID)ssj0000487892
035   $a(PQKBManifestationID)11360580
035   $a(PQKBTitleCode)TC0000487892
035   $a(PQKBWorkID)10446182
035   $a(PQKB)11612521
035   $a(MiAaPQ)EBC476989
035   $a(Au-PeEL)EBL476989
035   $a(CaPaEBR)ebr10292318
035   $a(OCoLC)647751792
035   $a(EXLCZ)992440000000014291
100   $a20090129d2009      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aTheology and the spaces of apocalyptic$b[electronic resource] /$fCyril O'Regan
210   $aMilwaukee, Wis. $cMarquette University Press$dc2009
215   $a1 online resource (169 p.)
225 1 $aThe Pe?re Marquette lecture in theology ;$v2009
300   $aDescription based upon print version of record.
311   $a0-87462-589-0 
320   $aIncludes bibliographical references.
410  0$aPe?re Marquette lecture in theology ;$v2009.
606   $aApocalyptic literature$xHistory and criticism
606   $aTheology$xHistory and criticism
608   $aElectronic books.
615  0$aApocalyptic literature$xHistory and criticism.
615  0$aTheology$xHistory and criticism.
676   $a220/.046
700   $aO'Regan$b Cyril$f1952-$0977705
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910455940803321
996   $aTheology and the spaces of apocalyptic$92227425
997   $aUNINA

LEADER 03348nam  22005895  450 
001 9910483424803321
005 20251117074918.0
010   $a3-662-43652-3
024 7 $a10.1007/978-3-662-43652-3
035   $a(CKB)3710000000119220
035   $a(DE-He213)978-3-662-43652-3
035   $a(SSID)ssj0001239626
035   $a(PQKBManifestationID)11697996
035   $a(PQKBTitleCode)TC0001239626
035   $a(PQKBWorkID)11199848
035   $a(PQKB)10487883
035   $a(MiAaPQ)EBC3096835
035   $a(PPN)178782882
035   $a(EXLCZ)993710000000119220
100   $a20140529d2014      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAbstract State Machines, Alloy, B, TLA, VDM, and Z $e4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings /$fedited by Yamine Ait Ameur, Klaus-Dieter Schewe
205   $a1st ed. 2014.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2014.
215   $a1 online resource (XVI, 336 p. 93 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8477
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-662-43651-5 
327   $aFundamental contributions -- Applications in industrial contexts -- Tool developments and improvements.
330   $aThis book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM, and Z, which took place in Toulouse, France, in June 2014. The 13 full papers presented together with 3 invited talks and 19 short papers were carefully reviewed and selected from 81 submissions. The ABZ conference series is dedicated to the cross-fertilization of six related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, TLA, VDM, and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8477
606   $aMachine theory
606   $aComputer science
606   $aFormal Languages and Automata Theory
606   $aComputer Science Logic and Foundations of Programming
606   $aTheory of Computation
615  0$aMachine theory.
615  0$aComputer science.
615 14$aFormal Languages and Automata Theory.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aTheory of Computation.
676   $a005.131
702   $aAi?t-Ameur$b Yamine$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSchewe$b Klaus-Dieter$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a9910483424803321
996   $aAbstract State Machines, Alloy, B, TLA, VDM, and Z$92026686
997   $aUNINA