phone +36 1 6333 184
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Formal Methods for Hardware Verification

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Formal Methods for Hardware Verification Marco Bernardo
Libristo kód: 01562083
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, május 2006
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th editio... Teljes leírás
? points 168 b
26 453 Ft
Beszállítói készleten alacsony példányszámban Küldés 12-17 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

Six Days of War Michael B. Oren / Puha kötésű
common.buy 7 269 Ft
hamarosan
Cambridge Checkpoint Science Workbook 8 Mary Jones / Puha kötésű
common.buy 5 824 Ft
Leave It to Abigail! Elizabeth Baddeley / Kemény kötésű
common.buy 7 083 Ft
Auscultation Skills Jessica Coviello / Puha kötésű
common.buy 42 982 Ft
Adenosine Susan Masino / Kemény kötésű
common.buy 103 526 Ft
Collected Works of Paddy Chayefsky Paddy Chayefsky / Puha kötésű
common.buy 9 914 Ft
Case-Based Reasoning Research and Development Lorraine McGinty / Puha kötésű
common.buy 26 453 Ft
Gormenghast. Band 2 Mervyn Peake / Kemény kötésű
common.buy 7 758 Ft
Herrschaftsorganisation und Herrschaftspraxis im anglonormannischen Reich unter Wilhelm I. Joachim von Meien / Puha kötésű
common.buy 17 642 Ft
Finale in Sudafrika Stephanie Howe / Puha kötésű
common.buy 13 315 Ft
Hunting and Fishing in a Kammu Village Damrong Tayanin / Kemény kötésű
common.buy 27 274 Ft
Be a Better Manager in a Week: Teach Yourself Rus Slater / Puha kötésű
common.buy 11 567 Ft
Wie der König seinen Feind verlor Jorge Bucay / Kemény kötésű
common.buy 5 254 Ft
Grundfragen der Anstiftung. Marios Nikolidakis / Puha kötésű
common.buy 29 133 Ft
Blues in the Night Rochelle Majer Krich / Digital
common.buy 4 942 Ft
Pharmacology of Ionic Channel Function: Activators and Inhibitors M. Endo / Kemény kötésű
common.buy 257 682 Ft

This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). SFM 2006 was devoted to formal techniques for hardware verification and covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, and more.

Információ a könyvről

Teljes megnevezés Formal Methods for Hardware Verification
Szerző Marco Bernardo, Alessandro Cimatti
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2006
Oldalszám 244
EAN 9783540343042
ISBN 3540343040
Libristo kód 01562083
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 800
Méretek 155 x 235 x 17

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia > Szakértői rendszerek / tudás alapú rendszerek
Számítástechnika és információtechnológia > Számítógépes hardver > Hálózati hardver
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Rendszeranalízis és rendszerdizájn
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása