A Roadmap for Formal Property Verification

Record details

ISBN: 9781402047589
Physical Description: electronic
electronic resource
access
remote
XIII, 251 p. online resource.
Publisher: Dordrecht : Springer Netherlands, 2006.

Subject:

Add to basket Print Email Permalink Disable Highlighting

LDR	01622nam a22004575i 4500
001	12589
003	CONS
005	20131217230017.0
007	cr nn 008mamaa
008	100301s2006 ne \| s \|\|\|\| 0\|eng d
020		.	‡a9781402047589 ‡9978-1-4020-4758-9
024	7	.	‡a10.1007/978-1-4020-4758-9 ‡2doi
035		.	‡a(DE-He213)978-1-4020-4758-9
050		4.	‡aTK7888.4
072		7.	‡aTJFC ‡2bicssc
072		7.	‡aTEC008010 ‡2bisacsh
100	1	.	‡aDasGupta, Pallab. ‡eauthor.
245	1	2.	‡aA Roadmap for Formal Property Verification ‡h[electronic resource] / ‡cby Pallab DasGupta.
264		1.	‡aDordrecht : ‡bSpringer Netherlands, ‡c2006.
300		.	‡aXIII, 251 p. ‡bonline resource.
336		.	‡atext ‡btxt ‡2rdacontent
337		.	‡acomputer ‡bc ‡2rdamedia
338		.	‡aonline resource ‡bcr ‡2rdacarrier
347		.	‡atext file ‡bPDF ‡2rda
650		0.	‡aEngineering.
650		0.	‡aLogic design.
650		0.	‡aComputer science.
650		0.	‡aComputer aided design.
650		0.	‡aElectronics.
650		0.	‡aSystems engineering.
650	1	4.	‡aEngineering.
650	2	4.	‡aCircuits and Systems.
650	2	4.	‡aComputer-Aided Engineering (CAD, CAE) and Design.
650	2	4.	‡aElectronics and Microelectronics, Instrumentation.
650	2	4.	‡aLogic Design.
650	2	4.	‡aElectronic and Computer Engineering.
650	2	4.	‡aMathematical Logic and Formal Languages.
710	2	.	‡aSpringerLink (Online service)
773	0	.	‡tSpringer eBooks
776	0	8.	‡iPrinted edition: ‡z9781402047572
856	4	0.	‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-1-4020-4758-9 ‡yTexto completo ‡9CONS
950		.	‡aEngineering (Springer-11647)
901		.	‡a12589 ‡b ‡c12589 ‡tbiblio ‡sSystem Local

◄ Previous

Back To Results
Showing Item 5 of 14

Next ►