E-book

The Calculus of Computation [electronic resource] : Decision Procedures with Applications to Verification / by Aaron R. Bradley, Zohar Manna.

Record details

Subject:

Add to basket View My Basket Print Email Permalink Disable Highlighting

LDR	01646nam a22004455i 4500
001	35643
003	CONS
005	20131218052121.0
007	cr nn 008mamaa
008	100301s2007 gw \| s \|\|\|\| 0\|eng d
020		.	‡a9783540741138 ‡9978-3-540-74113-8
024	7	.	‡a10.1007/978-3-540-74113-8 ‡2doi
035		.	‡a(DE-He213)978-3-540-74113-8
050		4.	‡aQA75.5-76.95
072		7.	‡aUY ‡2bicssc
072		7.	‡aUYA ‡2bicssc
072		7.	‡aCOM014000 ‡2bisacsh
072		7.	‡aCOM031000 ‡2bisacsh
100	1	.	‡aBradley, Aaron R. ‡eauthor.
245	1	4.	‡aThe Calculus of Computation ‡h[electronic resource] : ‡bDecision Procedures with Applications to Verification / ‡cby Aaron R. Bradley, Zohar Manna.
264		1.	‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2007.
300		.	‡aXVI, 366 p. 60 illus. ‡bonline resource.
336		.	‡atext ‡btxt ‡2rdacontent
337		.	‡acomputer ‡bc ‡2rdamedia
338		.	‡aonline resource ‡bcr ‡2rdacarrier
347		.	‡atext file ‡bPDF ‡2rda
650		0.	‡aComputer science.
650		0.	‡aInformation theory.
650		0.	‡aComputer software.
650		0.	‡aLogic design.
650	1	4.	‡aComputer Science.
650	2	4.	‡aTheory of Computation.
650	2	4.	‡aLogics and Meanings of Programs.
650	2	4.	‡aAlgorithm Analysis and Problem Complexity.
650	2	4.	‡aMathematical Logic and Formal Languages.
700	1	.	‡aManna, Zohar. ‡eauthor.
710	2	.	‡aSpringerLink (Online service)
773	0	.	‡tSpringer eBooks
776	0	8.	‡iPrinted edition: ‡z9783540741121
856	4	0.	‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-540-74113-8 ‡yTexto completo ‡9CONS
950		.	‡aComputer Science (Springer-11645)
901		.	‡a35643 ‡b ‡c35643 ‡tbiblio ‡sSystem Local