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 Kurier 12.99 zł Punkt DPD 11.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 ▸
252.77 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Chiaroscuro. Interpretazione di un delitto Simone Carbone / Książka Miękka
common.buy 129.15 zł
Intelektuálové a masy John Carey / Książka Miękka
common.buy 59.03 zł
The Autumn Stone Small Faces Audio CD Audio
common.buy 94.81 zł
Épîtres Maïmonide / Książka Miękka
common.buy 68.36 zł
Innover avec les acteurs du monde rural Hocdé / Książka Miękka
common.buy 135.40 zł
Alí i Ramboline VALENTI GUBIANAS / Książka Twarda
common.buy 65.29 zł
Ann'es D'Extermination. L'Allemagne Nazie Et Les Juifs (1939-1945)(Les) T2 Pierre-Emmanuel Dauzat / Książka Miękka
common.buy 72.46 zł
Textos de derecho internacional público Bermejo García / Książka Miękka
common.buy 127.40 zł
Christiana Albertina Präsidium der Christian-Albrechts-Universität zu Kiel / Książka Miękka
common.buy 112.03 zł
TOP
L'oracle des échos oniriques Luna Ravenheart / Książka Miękka
common.buy 132.94 zł
Vaillants Soldats Desplantes-F / Książka Miękka
common.buy 69.80 zł
Pioneiras da ciencia en Galicia MANUEL REY PAN / Książka Miękka
common.buy 105.16 zł
Wohin und Womit Michael Heßhaus / Książka Twarda
common.buy 193.21 zł
MARIA-MERCE MARÇAL. PETITS POEMES MARÇAL / Książka Twarda
common.buy 69.08 zł
Chants du cauchemar et de la nuit Ligotti / Książka Miękka
common.buy 54.52 zł
ALLENDE Y EL MUSEO DEL SUICIDIO DORFMAN / Książka Miękka
common.buy 106.80 zł
(2 ED.) MONTE PERDIDO Y GAVARNIE - MAPAS PIRENAIC Lopez Calleja / Książka Miękka
common.buy 75.84 zł
Simulation de la collaboration Homme - Machine Mustapha Belfahli / Książka Miękka
common.buy 138.99 zł
Kapřík Metlík ve sportovním rybníku Jan Opatřil / Książka Twarda
common.buy 29.00 zł
Deep Blue Sea 2, 1 Blu-ray Michael Trent / Wideo Blu-ray
common.buy 64.06 zł
99 Sayfada Tüp Bebek Bülent Gülekli / Książka Miękka
common.buy 35.56 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 99.52 zł
Zahlen fur ein erfolgreiches Business Grigori Grabovoi / Książka Miękka
common.buy 115.92 zł
Unas tardes con Shakespeare Praz / Książka Miękka
common.buy 88.25 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ć

Case-Based Reasoning Research and Development Lorraine McGinty / Książka Miękka
common.buy 223.66 zł
Heating versus Cooling in Galaxies and Clusters of Galaxies H. Böhringer / Książka Twarda
common.buy 223.66 zł
Pharmacology of Ionic Channel Function: Activators and Inhibitors M. Endo / Książka Twarda
common.buy 2 224.35 zł
In the Ravine & Other Stories Anton Chekhov / Książka Twarda
common.buy 52.06 zł
YOUNG STARS 2ºPRIMARIA. WORKBOOK +CD 2019 H.Q. Mitchell / Książka Miękka
common.buy 100.34 zł
Little Owl's Snow Divya Srinivasan / Książka Twarda
common.buy 65.08 zł
If I Was Your Hamster Angelia Smith / Książka Miękka
common.buy 43.86 zł
Graffiti and Street Art Konstantinos Avramidis / Książka Miękka
common.buy 303.10 zł
How To Love Yourself 100% Htebooks / Książka Miękka
common.buy 36.99 zł
Echoes and Ashes Terrell Washington Anansi / Książka Miękka
common.buy 36.99 zł
complete work of Rembrandt Wilhelm Von Bode / Książka Miękka
common.buy 123.61 zł
Poets and Dreamers; Studies and Translations from the Irish Lady Gregory / Książka Twarda
common.buy 145.24 zł
Sanctus Illuminatus, 2019 Brochure of Membership Carlos Antonio De Bourbon-Montenegro / Książka Miękka
common.buy 190.34 zł
His Royal Highness the Comte de Paris William Cox / Książka Miękka
common.buy 50.63 zł
Leave It to Abigail! Elizabeth Baddeley / Książka Twarda
common.buy 76.36 zł
Man of Honour Tyrone Heydenrych / Książka Miękka
common.buy 83.33 zł
Real Deal Faisal Susiwala / Książka Miękka
common.buy 66.72 zł
Where's Grandma's Keys Nadine Burr / Książka Twarda
common.buy 118.07 zł
Info Buzz: Early Britons: Vikings Stephen White-Thomson / Książka Miękka
common.buy 45.30 zł
Montreal at War, 1914-1918 Terry Copp / Książka Miękka
common.buy 133.45 zł
TOP
Pippa and Pop Level 1 Activity Book British English Colin Sage / Książka Miękka
common.buy 40.27 zł
The Servant's Prosperity: The True Purpose of Prosperity Timothy Campbell / Książka Miękka
common.buy 44.68 zł
Kingdom of Blood and Salt Alexis Calder / Książka Miękka
common.buy 52.37 zł
Brand No.79 SendPoints / Książka Miękka
common.buy 93.78 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?