E-book

Principles of the Spin Model Checker [electronic resource] / by Mordechai Ben-Ari.

Record details

Subject:

Add to basket Print Email Permalink Disable Highlighting

LDR	01609nam a22004575i 4500
001	21654
003	CONS
005	20131219054044.0
007	cr nn 008mamaa
008	100301s2008 xxk\| s \|\|\|\| 0\|eng d
020		.	‡a9781846287701 ‡9978-1-84628-770-1
024	7	.	‡a10.1007/978-1-84628-770-1 ‡2doi
035		.	‡a(DE-He213)978-1-84628-770-1
050		4.	‡aQA76.758
072		7.	‡aUMZ ‡2bicssc
072		7.	‡aUL ‡2bicssc
072		7.	‡aCOM051230 ‡2bisacsh
100	1	.	‡aBen-Ari, Mordechai. ‡eauthor.
245	1	0.	‡aPrinciples of the Spin Model Checker ‡h[electronic resource] / ‡cby Mordechai Ben-Ari.
264		1.	‡aLondon : ‡bSpringer London, ‡c2008.
300		.	‡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.	‡aSoftware engineering.
650		0.	‡aOperating systems (Computers).
650		0.	‡aInformation theory.
650		0.	‡aLogic design.
650	1	4.	‡aComputer Science.
650	2	4.	‡aSoftware Engineering/Programming and Operating Systems.
650	2	4.	‡aProgramming Techniques.
650	2	4.	‡aProgramming Languages, Compilers, Interpreters.
650	2	4.	‡aOperating Systems.
650	2	4.	‡aTheory of Computation.
650	2	4.	‡aLogics and Meanings of Programs.
710	2	.	‡aSpringerLink (Online service)
773	0	.	‡tSpringer eBooks
776	0	8.	‡iPrinted edition: ‡z9781846287695
856	4	0.	‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-1-84628-770-1 ‡yTexto completo ‡9CONS
950		.	‡aComputer Science (Springer-11645)
901		.	‡a21654 ‡b ‡c21654 ‡tbiblio ‡sSystem Local