Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Methods for Hardware Verification

6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

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 141 b
Gwarancja
najlepszej
ceny ▸
247.70 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

30 dni na zwrot towaru

Klienci kupili także

The Autumn Stone Small Faces Audio CD Audio
common.buy 92.83 zł
MARIA-MERCE MARÇAL. PETITS POEMES MARÇAL / Książka Twarda
common.buy 67.64 zł
Intelektuálové a masy John Carey / Książka Miękka
common.buy 57.80 zł
Pioneiras da ciencia en Galicia MANUEL REY PAN / Książka Miękka
common.buy 113.51 zł
Chiaroscuro. Interpretazione di un delitto Simone Carbone / Książka Miękka
common.buy 82.69 zł
L'oracle des échos oniriques Luna Ravenheart / Książka Miękka
common.buy 131.07 zł
Chants du cauchemar et de la nuit Ligotti / Książka Miękka
common.buy 54.09 zł
Christiana Albertina Präsidium der Christian-Albrechts-Universität zu Kiel / Książka Miękka
common.buy 109.79 zł
ALLENDE Y EL MUSEO DEL SUICIDIO DORFMAN / Książka Miękka
common.buy 115.61 zł
Innover avec les acteurs du monde rural Hocdé / Książka Miękka
common.buy 133.48 zł
Alí i Ramboline VALENTI GUBIANAS / Książka Twarda
common.buy 63.72 zł
La correspondencia de Benito Arias Montano con el presidente de Indias Juan de Ovando Baldomero Macías Rosendo / Książka Miękka
common.buy 107.58 zł
Grundfragen der Anstiftung. Marios Nikolidakis / Książka Miękka
common.buy 315.85 zł
Wie der König seinen Feind verlor Jorge Bucay / Książka Twarda
common.buy 55.49 zł
Gormenghast. Band 2 Mervyn Peake / Książka Twarda
common.buy 82.49 zł
Herrschaftsorganisation und Herrschaftspraxis im anglonormannischen Reich unter Wilhelm I. Joachim von Meien / Książka Miękka
common.buy 68.64 zł
Finale in Sudafrika Stephanie Howe / Książka Miękka
common.buy 76.07 zł
2984 Utta Kaiser-Plessow / Książka Miękka
common.buy 46.26 zł
Zahlen fur ein erfolgreiches Business Grigori Grabovoi / Książka Miękka
common.buy 113.51 zł
Vaillants Soldats Desplantes-F / Książka Miękka
common.buy 81.99 zł
Poeta En Nueva York Federico García Lorca / Książka Miękka
common.buy 45.05 zł
Unas tardes con Shakespeare Praz / Książka Miękka
common.buy 95.84 zł
Будапэшт Kolozsvári Ildikó / Książka Karta
common.buy 37.53 zł
99 Sayfada Tüp Bebek Bülent Gülekli / Książka Miękka
common.buy 34.82 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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

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

Mogłoby Cię także zainteresować

Pharmacology of Ionic Channel Function: Activators and Inhibitors M. Endo / Książka Twarda
common.buy 2 177.97 zł
Heating versus Cooling in Galaxies and Clusters of Galaxies H. Böhringer / Książka Twarda
common.buy 218.99 zł
Case-Based Reasoning Research and Development Lorraine McGinty / Książka Miękka
common.buy 218.99 zł
Conquest Andrea Smith / Książka Miękka
common.buy 107.18 zł
Poets and Dreamers; Studies and Translations from the Irish Lady Gregory / Książka Twarda
common.buy 142.21 zł
complete work of Rembrandt Wilhelm Von Bode / Książka Miękka
common.buy 121.03 zł
The Servant's Prosperity: The True Purpose of Prosperity Timothy Campbell / Książka Miękka
common.buy 43.75 zł
Pippa and Pop Level 1 Activity Book British English Colin Sage / Książka Miękka
common.buy 41.64 zł
Montreal at War, 1914-1918 Terry Copp / Książka Miękka
common.buy 130.67 zł
Echoes and Ashes Terrell Washington Anansi / Książka Miękka
common.buy 36.22 zł
How To Love Yourself 100% Htebooks / Książka Miękka
common.buy 36.22 zł
Info Buzz: Early Britons: Vikings Stephen White-Thomson / Książka Miękka
common.buy 45.86 zł
Graffiti and Street Art Konstantinos Avramidis / Książka Miękka
common.buy 296.78 zł
If I Was Your Hamster Angelia Smith / Książka Miękka
common.buy 42.95 zł
Little Owl's Snow Divya Srinivasan / Książka Twarda
common.buy 63.72 zł
In the Ravine & Other Stories Anton Chekhov / Książka Twarda
common.buy 50.98 zł
Sanctus Illuminatus, 2019 Brochure of Membership Carlos Antonio De Bourbon-Montenegro / Książka Miękka
common.buy 186.37 zł
Where's Grandma's Keys Nadine Burr / Książka Twarda
common.buy 115.61 zł
YOUNG STARS 2ºPRIMARIA. WORKBOOK +CD 2019 H.Q. Mitchell / Książka Miękka
common.buy 108.39 zł
Leave It to Abigail! Elizabeth Baddeley / Książka Twarda
common.buy 72.86 zł
Real Deal Faisal Susiwala / Książka Miękka
common.buy 65.33 zł
Man of Honour Tyrone Heydenrych / Książka Miękka
common.buy 81.59 zł
Be a Better Manager in a Week: Teach Yourself Rus Slater / Książka Miękka
common.buy 75.67 zł
Hunting and Fishing in a Kammu Village Damrong Tayanin / Książka Twarda
common.buy 160.28 zł

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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?