Unfoldings A Partial-Order Approach to Model Checking /

Bibliographic Details
Published in:	Springer eBooks
Main Author:	Esparza, Javier
Corporate Author:	SpringerLink (Online service)
Other Authors:	Heljanko, Keijo
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Series:	Monographs in Theoretical Computer Science An EATCS Series,
Subjects:	Information theory Logic design Software engineering Computer Science Logics and Meanings of Programs Software Engineering Theory of Computation
Online Access:	http://dx.doi.org/10.1007/978-3-540-77426-6 Перейти в каталог НБ ТГУ


LEADER	01558nmm a22003615u 4500
001	vtls000363614
003	RU-ToGU
005	20210922025642.0
007	cr nn 008mamaa
008	120829s2008 xx j eng d
020			\|a 9783540774266
035			\|a to000363614
039		9	\|a 201208291107 \|y 200905080008 \|z Александр Эльверович Гилязов
040			\|a Springer \|c Springer \|d RU-ToGU
100	1		\|a Esparza, Javier. \|9 325783
245	1	0	\|a Unfoldings \|h Электронный ресурс \|b A Partial-Order Approach to Model Checking / \|c by Javier Esparza, Keijo Heljanko.
260			\|a Berlin, Heidelberg : \|b Springer-Verlag Berlin Heidelberg, \|c 2008. \|9 729705
490	1	0	\|a Monographs in Theoretical Computer Science An EATCS Series, \|x 1431-2654
650		0	\|a Information theory \|9 303504
650		0	\|a Logic design \|9 306256
650		0	\|a Software engineering \|9 566225
650	1	4	\|a Computer Science \|9 155490
650	2	4	\|a Logics and Meanings of Programs \|9 306257
650	2	4	\|a Software Engineering \|9 566285
650	2	4	\|a Theory of Computation \|9 303507
700	1		\|a Heljanko, Keijo. \|9 328235
710	2		\|a SpringerLink (Online service) \|9 143950
773	0		\|t Springer eBooks
830			\|a Monographs in Theoretical Computer Science An EATCS Series, \|9 323526
856	4	0	\|u http://dx.doi.org/10.1007/978-3-540-77426-6
856			\|y Перейти в каталог НБ ТГУ \|u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=239708
950			\|a Computer Science (Springer-11645; ZDB-2-SCS)
999			\|c 239708 \|d 239708

Similar Items