Variations on Constants Flow Analysis of Sequential and Parallel Programs

Bibliographic Details
Published in:	Springer e-books
Main Author:	Müller-Olm, Markus
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin Heidelberg : Springer-Verlag GmbH., 2006
Series:	Lecture Notes in Computer Science,
Subjects:	Computer Science Logic design Software engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Software Engineering
Online Access:	http://dx.doi.org/10.1007/11871743 Перейти в каталог НБ ТГУ


LEADER	01516nmm a22003495u 4500
001	vtls000361514
003	RU-ToGU
005	20210922024739.0
007	cr nn 008mamaa
008	120829s2006 xx j eng d
020			\|a 9783540453864
035			\|a to000361514
039		9	\|a 201401231035 \|c 201208290156 \|d VLOAD \|y 200905072326 \|z Александр Эльверович Гилязов
040			\|a Springer \|c Springer \|d RU-ToGU
100	1		\|a Müller-Olm, Markus. \|9 322624
245	1	0	\|a Variations on Constants \|h Электронный ресурс \|b Flow Analysis of Sequential and Parallel Programs \|c edited by Markus Müller-Olm.
260			\|a Berlin Heidelberg : \|b Springer-Verlag GmbH., \|c 2006 \|9 729706
490	1		\|a Lecture Notes in Computer Science, \|x 0302-9743 ; \|v 3800
650		0	\|a Computer Science \|9 155490
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 Programming Languages, Compilers, Interpreters \|9 303287
650	2	4	\|a Software Engineering \|9 566285
710	2		\|a SpringerLink (Online service) \|9 143950
773	0		\|t Springer e-books
830		0	\|a Lecture Notes in Computer Science, \|9 279505
856	4	0	\|u http://dx.doi.org/10.1007/11871743
856			\|y Перейти в каталог НБ ТГУ \|u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=236739
950			\|a Computer Science (Springer-11645; ZDB-2-SCS)
999			\|c 236739 \|d 236739

Similar Items