Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Сохранить в:

Библиографические подробности
Главный автор:	Yoeli, Michael, 1917-
Другие авторы:	Kol, Rakefet
Формат:	Электронный ресурс eКнига
Язык:	английский
Опубликовано:	Hoboken, N.J. : Wiley-Interscience, c2008.
Серии:	Wiley series on parallel and distributed computing.
Предметы:	Integrated circuits > Verification. Computer software > Verification. LOTOS (Computer program language) Petri nets. Electronic books.
Online-ссылка:	https://biblioteca.ues.edu.sv/acceso/elibro/?url=https%3A%2F%2Felibro.net%2Fereader%2Fbiblioues/177497 Просмотр в OPAC
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

MARC


LEADER	00000nam a2200000 a 4500
001	ELB177497
003	FINmELB
005	20200520144314.0
006	m o d \|
007	cr cn\|\|\|\|\|\|\|\|\|
008	070813s2008 njua sb 001 0 eng
015			\|a GBA806238 \|2 bnb
016	7		\|z 014493167 \|2 Uk
020			\|z 9780471704492 (cloth)
020			\|z 0471704490 (cloth)
035			\|a (OCoLC)164570922
040			\|a FINmELB \|c FINmELB \|d FINmELB
050		4	\|a TK7874.58 \|b .Y64 2008
082	0	4	\|a 621.3815/48 \|2 22
100	1		\|a Yoeli, Michael, \|d 1917-
245	1	0	\|a Verification of systems and circuits using LOTOS, Petri Nets, and CCS \|h [electronic resource] / \|c by Michael Yoeli and Rakefet Kol.
260			\|a Hoboken, N.J. : \|b Wiley-Interscience, \|c c2008.
300			\|a xv, 231 p. : \|b ill.
490	1		\|a Wiley series on parallel and distributed computing
504			\|a Includes bibliographical references and index.
588			\|a Description based on metadata supplied by the publisher and other sources.
590			\|a Electronic reproduction. Santa Fe, Arg.: elibro, 2021. Available via World Wide Web. Access may be limited to eLibro affiliated libraries.
650		0	\|a Integrated circuits \|x Verification.
650		0	\|a Computer software \|x Verification.
650		0	\|a LOTOS (Computer program language)
650		0	\|a Petri nets.
655		4	\|a Electronic books.
700	1		\|a Kol, Rakefet.
797	2		\|a elibro, Corp.
830		0	\|a Wiley series on parallel and distributed computing.
856	4	0	\|u https://biblioteca.ues.edu.sv/acceso/elibro/?url=https%3A%2F%2Felibro.net%2Fereader%2Fbiblioues/177497
950			\|a eLibro English