机读格式显示(MARC)

• 000 01505cam a2200385 i 4500

• 001 0000844305

• 003 OCoLC

• 005 20250925190700.0

• 008 140904s2015 sz a 101 0 eng d

• 020 __ |a 9783319063164 (hardback)

• 020 __ |a 3319063162 (hardback)

• 020 __ |a 3319063170 (electronic bk.)

• 020 __ |a 9783319063171 (electronic bk.)

• 040 __ |a GW5XE |b eng |e rda |e pn |c GW5XE |d N$T |d COO |d YDXCP

• 050 _4 |a QA76.9.F67

• 082 04 |a 621.3815 |2 23

• 090 __ |a TP303/X6

• 093 __ |a TP303 |2 5

• 111 2_ |a FDL (Conference) |d (2013 : |c Paris, France)

• 245 10 |a Languages, design methods, and tools for electronic system design : |b selected contributions from FDL 2013 / |c Marie-Minerve Lourat, Torsten Maehne, editors.

• 260 __ |a Cham : |b Springer, |c [2014]

• 300 __ |a xxxiv, 305 pages : |b illustrations (some color) ; |c 24 cm.

• 336 __ |a text |b txt |2 rdacontent

• 337 __ |a computer |b c |2 rdamedia

• 338 __ |a online resource |b cr |2 rdacarrier

• 490 1_ |a Lecture Notes in Electrical Engineering, |x 1876-1100 ; |v volume 311

• 500 __ |a Includes index.

• 650 _0 |a Computer hardware description languages |v Congresses.

• 650 _0 |a Computer software |x Verification |v Congresses.

• 650 _0 |a Formal methods (Computer science) |v Congresses.

• 650 _0 |a Software architecture |v Congresses.

• 650 _0 |a Software engineering |v Congresses.

• 700 1_ |a Lourat, Marie-Minerve, |e editor.

• 700 1_ |a Maehne, Torste, |e editor.

• 710 2_ |a Ohio Library and Information Network.