phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł
phone Kontakt phoneJak kupować

Formal Methods for Hardware Verification

Język AngielskiAngielski
Książka Miękka
Książka Formal Methods for Hardware Verification Marco Bernardo
Kod Libristo: 01562083
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maj 2006
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th editio... Cały opis
? points 154 b
261.68 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Six Days of War Michael B. Oren / Miękka
common.buy 69.20 zł
Zapowiedź
Cambridge Checkpoint Science Workbook 8 Mary Jones / Miękka
common.buy 59.63 zł
Leave It to Abigail! Elizabeth Baddeley / Twarda
common.buy 67.61 zł
Auscultation Skills Jessica Coviello / Miękka
common.buy 427.92 zł
Adenosine Susan Masino / Twarda
common.buy 1 025.10 zł
Collected Works of Paddy Chayefsky Paddy Chayefsky / Miękka
common.buy 95.83 zł
Herrschaftsorganisation und Herrschaftspraxis im anglonormannischen Reich unter Wilhelm I. Joachim von Meien / Miękka
common.buy 173.22 zł
Be a Better Manager in a Week: Teach Yourself Rus Slater / Miękka
common.buy 115.38 zł
Wie der König seinen Feind verlor Jorge Bucay / Twarda
common.buy 53.54 zł
Pharmacology of Ionic Channel Function: Activators and Inhibitors M. Endo / Twarda
common.buy 2 552.03 zł
Grundfragen der Anstiftung. Marios Nikolidakis / Miękka
common.buy 329.69 zł
Blues in the Night Rochelle Majer Krich / Digital
common.buy 50.45 zł
2984 Utta Kaiser-Plessow / Miękka
common.buy 47.96 zł
Database Theory - ICDT 2007 Thomas Schwentick / Miękka
common.buy 261.68 zł
Gormenghast. Band 2 Mervyn Peake / Twarda
common.buy 78.87 zł
Case-Based Reasoning Research and Development Lorraine McGinty / Miękka
common.buy 261.68 zł

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.

Informacje o książce

Pełna nazwa Formal Methods for Hardware Verification
Autor Marco Bernardo, Alessandro Cimatti
Język Angielski
Oprawa Książka - Miękka
Data wydania 2006
Liczba stron 244
EAN 9783540343042
ISBN 3540343040
Kod Libristo 01562083
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 800
Wymiary 155 x 235 x 17

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Systemy ekspertowe / Systemy oparte na wiedzy
Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Urządzenia sieciowe
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Analiza systemowa i projektowanie
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo