KOBV Portal

Please enable Javascript in your browser preferences in order to use all features of KOBV Portal.

rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Hits per page

hit 1 - 1 | 1 hit

Select All Export

1

E-Resource

E-Resource

MBMV 2024 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 27. Workshop, 14. – 15.Februar 2024 in Kaiserslautern (2024)

Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" 27. 2024 Kaiserslautern ; Gesellschaft Mikroelektronik, Mikro- und Feinwerktechnik ; Informationstechnische Gesellschaft ; [et al.]

Berlin : VDE VERLAG GMBH

add to watchlist on the watchlist

Details

UID:

b3kat_BV049628467

Format: CD-ROM , 14 cm x 12.4 cm, 58 g

Edition: Neuerscheinung

ISBN: 9783800762675 , 3800762676

Series Statement: ITG-Fachbericht 314

Language: German

Subjects: Engineering

RVK:

ZN 4904

Keywords: Entwurfsautomation ; Systemsynthese ; Modellierung ; Beschreibungssprache ; Verifikation ; Konferenzschrift

Library	Location	Call Number	Volume/Issue/Year	Availability

BibTip

Others were also interested in ...

E-Resource

Inter-library loan

TU Berlin

get availability status

hit 1 - 1 | 1 hit

This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages