000			03352nam a22006375i 4500
001			978-3-642-30885-7
003			DE-He213
005			20140220083320.0
007			cr nn 008mamaa
008			120626s2012 gw | s |||| 0|eng d
020			_a9783642308857 _9978-3-642-30885-7
024	7		_a10.1007/978-3-642-30885-7 _2doi
050		4	_aQA76.9.L63
050		4	_aQA76.5913
050		4	_aQA76.63
072		7	_aUM _2bicssc
072		7	_aUYF _2bicssc
072		7	_aCOM051000 _2bisacsh
072		7	_aCOM036000 _2bisacsh
082	0	4	_a005.1015113 _223
100	1		_aDerrick, John. _eeditor.
245	1	0	_aAbstract State Machines, Alloy, B, VDM, and Z _h[electronic resource] : _bThird International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / _cedited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2012.
300			_aXV, 378 p. 133 illus. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aLecture Notes in Computer Science, _x0302-9743 ; _v7316
520			_aThis book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 submissions. The ABZ conference series is dedicated to the cross-fertilization of five related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, 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.
650		0	_aComputer science.
650		0	_aComputer software.
650		0	_aLogic design.
650		0	_aComputational complexity.
650	1	4	_aComputer Science.
650	2	4	_aLogics and Meanings of Programs.
650	2	4	_aAlgorithm Analysis and Problem Complexity.
650	2	4	_aComputation by Abstract Devices.
650	2	4	_aMathematics of Computing.
650	2	4	_aMathematics of Computing.
650	2	4	_aDiscrete Mathematics in Computer Science.
700	1		_aFitzgerald, John. _eeditor.
700	1		_aGnesi, Stefania. _eeditor.
700	1		_aKhurshid, Sarfraz. _eeditor.
700	1		_aLeuschel, Michael. _eeditor.
700	1		_aReeves, Steve. _eeditor.
700	1		_aRiccobene, Elvinia. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783642308840
830		0	_aLecture Notes in Computer Science, _x0302-9743 ; _v7316
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-642-30885-7
912			_aZDB-2-SCS
912			_aZDB-2-LNC
999			_c103268 _d103268