Formal Models of Operating System Kernels

Bibliographic Details
Published in:	Springer e-books
Main Author:	Craig, Iain D.
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	London : Springer-Verlag London Limited, 2007.
Subjects:	Computational complexity Computer Science Operating systems (Computers) Software engineering Discrete Mathematics in Computer Science Math Applications in Computer Science Operating Systems Software Engineering
Online Access:	http://dx.doi.org/10.1007/978-1-84628-718-3 Перейти в каталог НБ ТГУ


LEADER	01415nmm a22003495u 4500
001	vtls000357650
003	RU-ToGU
005	20210922024007.0
007	cr nn 008mamaa
008	090507s2007 xx j eng d
020			\|a 9781846287183
035			\|a to000357650
039		9	\|y 200905072213 \|z Александр Эльверович Гилязов
040			\|a Springer \|c Springer \|d RU-ToGU
100	1		\|a Craig, Iain D. \|9 317885
245	1	0	\|a Formal Models of Operating System Kernels \|h Электронный ресурс \|c by Iain D. Craig.
260			\|a London : \|b Springer-Verlag London Limited, \|c 2007. \|9 729668
650		0	\|a Computational complexity \|9 304814
650		0	\|a Computer Science \|9 155490
650		0	\|a Operating systems (Computers) \|9 303025
650		0	\|a Software engineering \|9 566225
650	1	4	\|a Computer Science \|9 155490
650	2	4	\|a Discrete Mathematics in Computer Science \|9 304816
650	2	4	\|a Math Applications in Computer Science \|9 303284
650	2	4	\|a Operating Systems \|9 303029
650	2	4	\|a Software Engineering \|9 566285
710	2		\|a SpringerLink (Online service) \|9 143950
773	0		\|t Springer e-books
856	4	0	\|u http://dx.doi.org/10.1007/978-1-84628-718-3
856			\|y Перейти в каталог НБ ТГУ \|u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=234417
950			\|a Computer Science (Springer-11645; ZDB-2-SCS)
999			\|c 234417 \|d 234417

Similar Items