LEADER 03371nam  22005895  450 
001 996217774103316
005 20230223054346.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$b[electronic resource] $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   $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   $aAit 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   $a996217774103316
996   $aAbstract State Machines, Alloy, B, TLA, VDM, and Z$92026686
997   $aUNISA