MPG.eBooks - Staff View: Correct Hardware Design and Verification Methods

Read Now

Bibliographic Details
Main Author:	Pierre, Laurence
Other Authors:	Kropf, Thomas
Format:	eBook
Published:	Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 1999
Series:	Lecture Notes in Computer Science
Subjects:	Computer Hardware Computer Science Engineering Logic Design Software Engineering Logics And Meanings Of Programs Mathematical Logic And Formal Languages Systems And Information Theory In Engineering
Online Access:	http://dx.doi.org/10.1007/3-540-48153-2?nosfx=y
Collection:	Lecture Notes in Computer Science - Collection details see MPG.ReNa


LEADER	01332nmm a2200349 u 4500
001	EB000288284
003	EBX01000000000000000053968
005	00000000000000.0
007	cr\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|
008	101003 \|\|\|
020			\|a 9783540481539
020			\|a 978-3-540-66559-5
100	1		\|a Pierre, Laurence
245	0	0	\|a Correct Hardware Design and Verification Methods \|h Elektronische Ressource \|b 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings \|c edited by Laurence Pierre, Thomas Kropf
260			\|a Berlin, Heidelberg \|b Springer-Verlag Berlin Heidelberg \|c 1999
300			\|b v. digital
700	1		\|a Kropf, Thomas
989			\|b LNCS \|a Lecture Notes in Computer Science
490	0		\|a Lecture Notes in Computer Science
856	4	0	\|u http://dx.doi.org/10.1007/3-540-48153-2?nosfx=y \|x Verlag \|3 Volltext
082	0		\|a 004
650		4	\|a Computer hardware
650		4	\|a Computer science
650		4	\|a Engineering
650		4	\|a Logic design
650		4	\|a Software engineering
650		4	\|a Computer Science
650		4	\|a Computer Hardware
650		4	\|a Logics and Meanings of Programs
650		4	\|a Mathematical Logic and Formal Languages
650		4	\|a Software Engineering
650		4	\|a Systems and Information Theory in Engineering