Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Oktober 2002
Genre:	EDV / Informatik
	C / Computer architecture & logic design / computer hardware / Computer logic / Computer programming / software engineering / computer science / Computer Science Logic and Foundations of Programming / Computer-aided engineering / Computer-Aided Engineering (CAD, CAE) and Design / Computerhardware / Electrical and Electronic Engineering / Electrical Engineering / Elektrotechnik / Formal Languages and Automata Theory / Logics and Meanings of Programs / Mathematical logic / Mathematical Logic and Formal Languages / Mathematical theory of computation / Software Engineering / Theoretische Informatik mehr...
ISBN:	9783540001164
EAN-Code:	9783540001164
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#2517 - Lecture Notes in Computer Science
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	1290 gr
Seiten:	408
Illustration:	XII, 408 p.
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri?cation has become one of the principal costs in a modern computer design e?ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation. Over the past 20 years, this area has grown from just a few academic researchers to a vibrant worldwide com- nity of people from both academia and industry. This volume includes 23 papers selected from the 47 submitted papers, each of which was reviewed by at least three program committee members. The history of FMCAD dates backto 1984, when the earliest meetings on this topic occurred as part of IFIP WG10.2.